update version to 4.12.0

[brisk.git] / web / brisk.css

diff --git a/web/brisk.css b/web/brisk.css
index 82fbe90..f4ffe53 100644 (file)
--- a/web/brisk.css
+++ b/web/brisk.css
@@ -73,6 +73,26 @@ img.nobohide {
     z-index: 12;
 }
 
+.bg_white {
+    background-color: #ffffff;
+}
+
+.bg_green {
+    background-color: #aaffaa;
+}
+
+.bg_ligre {
+    background-color: #ddffdd;
+}
+
+.bg_red {
+    background-color: #ffaaaa;
+}
+
+.bg_lired {
+    background-color: #ffdddd;
+}
+
 .notify {
 /*    top: 10%; */
     top: 0;
@@ -124,6 +144,16 @@ div.notify_clo {
     bottom:  4px;
 }
 
+div.doc_alert {
+    color: #ff5400;
+    background-color: #ffd780;
+    font-family: monospace;
+    font-weight: bold;
+    text-align: center;
+    margin: 8px;
+    padding: 8px;
+}
+
 .input_text { 
     background-color: #f8f8f8;
     border: 1px solid gray;