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;
46 #editor.readonly .editor {
76 border-bottom: 1px solid #999;
80 background-color: #C1C1C1;
81 background-image: -webkit-gradient(linear, left top, left bottom, from(#C1C1C1), color-stop(0.9, #A2A2A2));
84 background-image: -moz-linear-gradient(top left, #C1C1C1, #A2A2A2, 90%);
86 font: 11px Helvetica, Verdana, sans-serif;
91 background-color: #E1C1C1;
93 #header.saving #save-button {
100 .saving #save-attempt-info {
104 #header h1, #header h1 a {
107 font: 17px Helvetica, Verdana, sans-serif;
110 padding: 3px 6px 2px 6px;
116 text-decoration: none;
140 -webkit-user-select: none;
153 background-color: #A2A2A2;
155 -moz-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
156 -webkit-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
158 border: 1px solid #999;
159 border-bottom-width: 0px;
160 -moz-border-radius: 4px 4px 0px 0px;
161 -webkit-border-radius: 4px;
162 -webkit-border-bottom-left-radius: 0px;
163 -webkit-border-bottom-right-radius: 0px;
167 background-color: #C1C1C1;
180 vertical-align: middle;
183 /* Remove extra padding in Firefox */
184 button::-moz-focus-inner {
202 background-color: #FFF;
220 /* text-align: center;*/
223 #loading-message img {
233 .CodeMirror-line-numbers {
239 border-right: 1px solid black;
240 background-color: #e6e6fa;
243 .CodeMirror-line-numbers div {
245 font-family:"Lucida Console", monospace;
255 vertical-align: middle;
256 vertical-align: text-bottom;
268 .htmlview *[x-editable] {
269 background-color: white;
272 .htmlview .active[x-editable] {
273 background-color: #FAFAFA;
274 border: 1px solid #DDD;
275 /* -webkit-transition: all 1s linear;*/
279 background-color: black;