7 background-image: -webkit-gradient(linear, 0% 0%, 0% 100%, from(#E9E9E9), to(#CFCFCF));
9 -webkit-box-orient: vertical;
12 border: 1px solid gray;
13 -webkit-box-shadow: rgb(40,40,40) 0px 0px 50px;
16 font-family: 'Lucida Grande', sans-serif;
19 .go-to-line-dialog input {
23 .go-to-line-dialog button {
26 border: 1px solid rgb(165, 165, 165);
27 background-color: rgb(237, 237, 237);
28 background-image: -webkit-gradient(linear, left top, left bottom, from(rgb(252, 252, 252)), to(rgb(223, 223, 223)));
29 -webkit-border-radius: 12px;
30 -webkit-appearance: none;
36 .go-to-line-dialog button:active {
37 background-color: rgb(215, 215, 215);
38 background-image: -webkit-gradient(linear, left top, left bottom, from(rgb(194, 194, 194)), to(rgb(239, 239, 239)));