Poprawienie URLi w liście plików.
[redakcja.git] / platforma / static / css / html.css
index cbf1874..57eed6d 100755 (executable)
 
 
 .edit-button:hover, .edit-button:active {
 
 
 .edit-button:hover, .edit-button:active {
+/*    color: #FFF;*/
+    background-color: #999;
     color: #FFF;
 }
 
     color: #FFF;
 }
 
     border: 1px solid #C8B849;
     background-color: #D4CB9C;
     white-space: pre;
     border: 1px solid #C8B849;
     background-color: #D4CB9C;
     white-space: pre;
+    overflow: auto;
+    margin: 1.5em 0 0;
+    font-family: monospace;
+    font-size: 10pt;
 }
\ No newline at end of file
 }
\ No newline at end of file