Complete serialization with pretty printing. Works both in FF and Webkit. This fixes...

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

diff --git a/platforma/static/css/master.css b/platforma/static/css/master.css
index 5884d8a..d2768be 100644 (file)
--- a/platforma/static/css/master.css
+++ b/platforma/static/css/master.css
@@ -23,7 +23,7 @@ body {
     cursor: e-resize;
 }
 
-#source-editor, #simple-editor {
+#source-editor, #simple-editor, #history-viewer {
     position: absolute;
     top: 25px;
     bottom: 0;
@@ -32,7 +32,7 @@ body {
     overflow: hidden;
 }
 
-#html-view {
+#html-view, #history-view {
     overflow: auto;
     position: absolute;
     top: 27px;
@@ -279,4 +279,38 @@ p { margin: 0;}
        
        width: 40px;            
 } 
- 
\ No newline at end of file
+ 
+/* DIFFS */
+ #history-view table {
+       width: 75%;
+       margin: 1em auto;
+       max-height: 400px;
+       overflow-y: auto;
+ }
+ 
+ #diff-view {
+       border: 2px solid black;
+       background: #fafafa;
+       margin: 1em auto;
+       width: 90%;     
+ }
+ 
+ td.diff_header {
+       display: none;
+ }
+ 
+ td.diff_next {
+       display: none;
+ }
+
+ .diff_sub {
+       background-color: #ef4040;
+ }
+ 
+ .diff_chg {
+       background-color: #efef40;
+ }
+ 
+ .diff_add {
+       background-color: #40ef40;
+ }