Konwersja HTML do XML przed zapisaniem XML na serwer.

[redakcja.git] / platforma / static / css / html.css

diff --git a/platforma/static/css/html.css b/platforma/static/css/html.css
index cbf1874..d64cd6e 100755 (executable)
--- a/platforma/static/css/html.css
+++ b/platforma/static/css/html.css
@@ -390,6 +390,8 @@
 
 
 .edit-button:hover, .edit-button:active {
+/*    color: #FFF;*/
+    background-color: #999;
     color: #FFF;
 }
 
@@ -441,7 +443,7 @@
 
 .html-editarea textarea
 {
-    border: 2px solid black;
+/*    border: 2px solid black;*/
     
     margin: 0px;
     padding: 0px;
@@ -451,7 +453,7 @@
 
     z-index: 0;
     font-size: 10pt;
-    background-color: ivory;
+/*    background-color: ivory;*/
 }
 
 /*/
@@ -524,4 +526,8 @@
     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