1 a, a:visited, a:active {
7 text-decoration: underline;
26 background: #C1C1C1 url(../img/gallery.png) no-repeat scroll center center;
27 border-left: 2px solid #999;
28 border-right: 2px solid #999;
33 background-color: yellow;
72 border-bottom: 1px solid #999;
76 background-color: #C1C1C1;
77 background-image: -webkit-gradient(linear, left top, left bottom, from(#C1C1C1), color-stop(0.9, #A2A2A2));
80 background-image: -moz-linear-gradient(top left, #C1C1C1, #A2A2A2, 90%);
82 font: 11px Helvetica, Verdana, sans-serif;
86 #header h1, #header h1 a {
89 font: 17px Helvetica, Verdana, sans-serif;
92 padding: 3px 6px 2px 6px;
98 text-decoration: none;
113 -webkit-user-select: none;
126 background-color: #A2A2A2;
128 -moz-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
129 -webkit-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
131 border: 1px solid #999;
132 -moz-border-radius: 4px 4px 0px 0px;
133 -webkit-border-radius: 4px;
134 -webkit-border-bottom-left-radius: 0px;
135 -webkit-border-bottom-right-radius: 0px;
139 background-color: #C1C1C1;
152 vertical-align: middle;
162 border-bottom: 1px solid #777;
163 background-color: #C1C1C1;
179 .toolbar button img {
188 margin: 1px 5px 1px 0;
190 border: 1px solid #999;
198 margin: 4px 5px 0px 5px;
199 vertical-align:baseline;
206 .toolbar button:hover, .toolbar button:active {
209 -webkit-border-radius: 10px;
210 -moz-border-radius: 10px;
213 /* Remove extra padding in Firefox */
214 button::-moz-focus-inner {
231 background-color: #FFF;
249 /* text-align: center;*/
252 #loading-message img {
262 .CodeMirror-line-numbers {
268 border-right: 1px solid black;
269 background-color: #e6e6fa;
272 .CodeMirror-line-numbers div {
274 font-family:"Lucida Console", monospace;
290 .htmlview *[x-editable] {
291 background-color: white;
294 .htmlview .active[x-editable] {
295 background-color: #FAFAFA;
296 border: 1px solid #DDD;
297 /* -webkit-transition: all 1s linear;*/
301 background-color: black;