#1557: colouring ampersand breaks XML

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

diff --git a/redakcja/static/css/master.css b/redakcja/static/css/master.css
index b71520f..75bdc63 100644 (file)
--- a/redakcja/static/css/master.css
+++ b/redakcja/static/css/master.css
@@ -36,6 +36,8 @@ body {
 
 
 .vsplitbar p {
+    font: 12px Helvetica,Verdana,sans-serif;
+
   -moz-transform: rotate(270deg);
   -moz-transform-origin: 50% 50%;
   -webkit-transform: rotate(270deg);
@@ -99,6 +101,7 @@ body {
     font-weight: bold;
 }
 
+
 #header.saving {
        background-color: #E1C1C1;
 }
@@ -111,8 +114,26 @@ body {
 }
 .saving #save-attempt-info {
     display: inline;
+    font-weight: normal;
+}
+
+
+#header.out-of-date {
+    background-color: #E1C1C1;
+}
+#header.out-of-date #save-button {
+    display: none;
+}
+#out-of-date-info {
+    color: #801000;
+    display: none;
+}
+.out-of-date #out-of-date-info {
+    display: inline;
 }
 
+
+
 #header h1, #header h1 a {
     margin: 0;
     padding: 0;
@@ -293,10 +314,6 @@ img.tabclose {
        overflow: hidden;
 }
 
-.htmlview *[x-editable] {
-    background-color: white;
-
-}
 .htmlview .active[x-editable] {
     background-color: #FAFAFA;
     border: 1px solid #DDD;
@@ -318,7 +335,15 @@ img.tabclose {
 }
 
 .saveNotify {
-    position:absolute; bottom:7px; left:30px; z-index:800; background-color: #E6E6E6; padding:20px; border: 1px solid black;
+    position:absolute; 
+    top:22px; 
+    right:7px; 
+    z-index:800;
+    background-color: #FFFF69; 
+    padding:10px; 
+    border: 1px solid black;
+    border-radius: 5px;
+    -moz-border-radius: 15px;
 }
 
 .notifyTip {