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;
36 background-color: #E6E6E6;
40 font: 12px Helvetica,Verdana,sans-serif;
42 -moz-transform: rotate(270deg);
43 -moz-transform-origin: 50% 50%;
44 -webkit-transform: rotate(270deg);
45 -webkit-transform-origin: 50% 50%;
46 -o-transform: rotate(-270deg);
47 -o-transform-origin: bottom left;
48 filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=1);
77 font: 12px Sans, Helvetica, Verdana, sans-serif;
82 #objects-list .delete {
84 font: 10px Sans, Helvetica, Verdana, sans-serif;
86 #objects-list .delete:hover {
90 #objects-list .active {
95 #editor.readonly .editor {
125 border-bottom: 1px solid #999;
129 background-color: #C1C1C1;
130 background-image: -webkit-gradient(linear, left top, left bottom, from(#C1C1C1), color-stop(0.9, #A2A2A2));
133 background-image: -moz-linear-gradient(top left, #C1C1C1, #A2A2A2, 90%);
135 font: 11px Helvetica, Verdana, sans-serif;
143 background-color: #E1C1C1;
145 #header.saving #save-button {
152 .saving #save-attempt-info {
158 #header.out-of-date {
159 background-color: #E1C1C1;
161 #header.out-of-date #save-button {
168 .out-of-date #out-of-date-info {
174 #header h1, #header h1 a {
177 font: 9px Helvetica, Verdana, sans-serif;
180 padding: 3px 3px 2px 3px;
186 text-decoration: none;
217 -webkit-user-select: none;
226 background-color: #A2A2A2;
228 -moz-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
229 -webkit-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
231 border: 1px solid #999;
232 border-bottom-width: 0px;
233 -moz-border-radius: 4px 4px 0px 0px;
234 -webkit-border-radius: 4px;
235 -webkit-border-bottom-left-radius: 0px;
236 -webkit-border-bottom-right-radius: 0px;
247 background-color: #C1C1C1;
270 vertical-align: middle;
273 /* Remove extra padding in Firefox */
274 button::-moz-focus-inner {
292 background-color: #FFF;
310 /* text-align: center;*/
313 #loading-message img {
323 .CodeMirror-line-numbers {
329 border-right: 1px solid black;
330 background-color: #e6e6fa;
333 .CodeMirror-line-numbers div {
335 font-family:"Lucida Console", monospace;
345 vertical-align: middle;
346 vertical-align: text-bottom;
358 .htmlview .active[x-editable] {
359 background-color: #FAFAFA;
360 border: 1px solid #DDD;
361 /* -webkit-transition: all 1s linear;*/
365 background-color: black;
383 background-color: #FFFF69;
385 border: 1px solid black;
387 -moz-border-radius: 15px;
391 font-size:12px; float:right;