fix out-of-date check, don't panic on failed ajax
[redakcja.git] / redakcja / static / css / master.css
index b71520f..075f59d 100644 (file)
@@ -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;