X-Git-Url: http://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Fbrisk.css;h=1e247cfb7895e7dacebfcb879e08801a537735d0;hb=a53bab3c7b384a95a807ddd64fe93a6564be5504;hp=89bf29895d7a95aba06b27b81f6958ff2e635108;hpb=f341c32413c83788cf6cf23fe911c401c2f9adad;p=brisk.git

diff --git a/web/brisk.css b/web/brisk.css
index 89bf298..1e247cf 100644
--- a/web/brisk.css
+++ b/web/brisk.css
@@ -21,6 +21,20 @@
  *
  */
 
+* {
+    font-family: verdana, helvetica, arial, sans-serif;
+    font-size: 13px;
+    line-height: 120%;
+}
+
+/* TRICK TO REMOVE EXCESS OF PADDING INSIDE INPUT BUTTONS WITH FIREFOX */
+input::-moz-focus-inner {
+    border: 0;
+    padding: 0;
+    margin-top:-2px;
+    margin-bottom: -2px;
+}
+
 body {
     background-image: url('img/happysunbg.png');
     background-color: #fafafa;
@@ -28,18 +42,17 @@ body {
     background-position: center center; 
     margin:0px;
 
-    font-size: 12px;
     padding: 0px;
 
     align: center;
 }
 
 div {
-    font-size: 12px;
+    font-size: 100%;
 }
 
 td {
-    font-size: 12px;
+    font-size: 100%;
 }
 
 img {
@@ -212,16 +225,13 @@ input.input_sub_hi {
 input.button {
     border: 1px solid gray;  
     margin: 1px;
-    padding: 0px;
+    padding: 2px;
     color: black;
     background-color: RGB(246,246,246);
     vertical-align: middle;
     text-decoration: none;
     font-size: 100%;
     cursor: pointer;
-    height: 20px ! important;
-    max-height: 20px ! important;
-    min-height: 20px ! important;
     display: inline;
 }
 
@@ -243,13 +253,31 @@ span.au1 {
 
 span.au2 {
     font-style: italic;
-/*    text-decoration: underline; */
     background-color: #bafcba;
 }
 
 span.au3 {
     font-weight: bold;
     font-style: italic;
-/*    text-decoration: underline; */
     background-color: #bafcba;
 }
+
+span.au4 {
+    background-color: #ffd780;
+}
+
+span.au5 {
+    font-weight: bold;
+    background-color: #ffd780;
+}
+
+span.au6 {
+    font-style: italic;
+    background-color: #ffd780;
+}
+
+span.au7 {
+    font-weight: bold;
+    font-style: italic;
+    background-color: #ffd780;
+}