css: add fonts families and a trick to avoid annoing overspacing in firefox input...

diff --git a/web/brisk.css b/web/brisk.css
index f4ffe53..62ebeda 100644 (file)
--- 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/snowy.jpg');
     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;
 }
 

diff --git a/web/room.css b/web/room.css
index 20f3f9c..f386878 100644 (file)
--- a/web/room.css
+++ b/web/room.css
@@ -389,7 +389,7 @@ div.esco {
     cursor: pointer;
     left: 0px;
     top: 2px;
-    font-size: 10px;
+    font-size: 85%;
     font-weight: bold;
     padding: 4px;
     z-index: 10;
@@ -402,7 +402,7 @@ div.esco {
     cursor: default;
     left: 0px;
     top: 2px;
-    font-size: 10px;
+    font-size: 85%;
     font-weight: bold;
     font-color: #999999;
     padding: 4px;
@@ -415,7 +415,7 @@ div.esco {
     border: 1px solid green;
     left: 0px;
     top: 2px;
-    font-size: 10px;
+    font-size: 85%;
     font-color: #333333;
     padding: 4px;
 }