* Removed some unused JS.

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

diff --git a/platforma/static/css/master.css b/platforma/static/css/master.css
index 461b406..5884d8a 100644 (file)
--- a/platforma/static/css/master.css
+++ b/platforma/static/css/master.css
@@ -254,4 +254,29 @@ p { margin: 0;}
     float: left;
     margin-right: 10px;
     margin-top: -6px;
-}
\ No newline at end of file
+}
+
+
+.xml-iframe {
+       margin-left: 40px;      
+}
+
+/*
+ * CodeMirror 
+ */
+.CodeMirror-line-numbers {
+       background: #e6ddd5;
+       padding-top: 0.35em;    
+}
+
+.CodeMirror-line-numbers div {
+       padding: 0;
+       padding-right: 4px;
+       
+       font-size: 8pt;
+       line-height: 17px;
+       text-align: right;
+       
+       width: 40px;            
+} 
+ 
\ No newline at end of file