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;
 
  34         background-color: #E6E6E6;
 
  39     font: 12px Helvetica,Verdana,sans-serif;
 
  41   -moz-transform: rotate(270deg);
 
  42   -moz-transform-origin: 50% 50%;
 
  43   -webkit-transform: rotate(270deg);
 
  44   -webkit-transform-origin: 50% 50%; 
 
  45   -o-transform: rotate(-270deg);
 
  46   -o-transform-origin:  bottom left;
 
  47   filter: progid:DXImageTransform.Microsoft.BasicImage(rotation=1);
 
  60 #editor.readonly .editor {
 
  90         border-bottom: 1px solid #999;
 
  94     background-color: #C1C1C1;
 
  95     background-image: -webkit-gradient(linear, left top, left bottom, from(#C1C1C1), color-stop(0.9, #A2A2A2));
 
  98         background-image: -moz-linear-gradient(top left, #C1C1C1, #A2A2A2, 90%);
 
 100     font: 11px Helvetica, Verdana, sans-serif;
 
 106         background-color: #E1C1C1;
 
 108 #header.saving #save-button {
 
 115 .saving #save-attempt-info {
 
 121 #header.out-of-date {
 
 122     background-color: #E1C1C1;
 
 124 #header.out-of-date #save-button {
 
 131 .out-of-date #out-of-date-info {
 
 137 #header h1, #header h1 a {
 
 140     font: 9px Helvetica, Verdana, sans-serif;
 
 143     padding: 3px 3px 2px 3px;
 
 149     text-decoration: none;
 
 176     -webkit-user-select: none;
 
 185     background-color: #A2A2A2;
 
 187         -moz-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
 
 188     -webkit-box-shadow: 1px -1px 2px rgba(127, 127, 127, 0.25);
 
 190     border: 1px solid #999;
 
 191         border-bottom-width: 0px;
 
 192         -moz-border-radius: 4px 4px 0px 0px;
 
 193         -webkit-border-radius: 4px;
 
 194     -webkit-border-bottom-left-radius: 0px;
 
 195     -webkit-border-bottom-right-radius: 0px;
 
 206     background-color: #C1C1C1;
 
 229         vertical-align: middle;
 
 232 /* Remove extra padding in Firefox */
 
 233 button::-moz-focus-inner {
 
 251     background-color: #FFF;
 
 269 /*    text-align: center;*/
 
 272 #loading-message img {
 
 282 .CodeMirror-line-numbers {
 
 288         border-right: 1px solid black;
 
 289         background-color: #e6e6fa;
 
 292 .CodeMirror-line-numbers div {
 
 294         font-family:"Lucida Console", monospace;
 
 304         vertical-align: middle;
 
 305         vertical-align: text-bottom;
 
 317 .htmlview .active[x-editable] {
 
 318     background-color: #FAFAFA;
 
 319     border: 1px solid #DDD;
 
 320 /*    -webkit-transition: all 1s linear;*/
 
 324         background-color: black;
 
 342     background-color: #FFFF69; 
 
 344     border: 1px solid black;
 
 346     -moz-border-radius: 15px;
 
 350     font-size:12px; float:right;