web site update

+ one css file improved

diff --git a/helm/www/lambdadelta/css/martha.css b/helm/www/lambdadelta/css/martha.css
index 32689b1ed4472c8e805e5b2785ddab55eb879627..e88142d950525d6a3f72d03fe267cc5d56d0838a 100644 (file)
--- a/helm/www/lambdadelta/css/martha.css
+++ b/helm/www/lambdadelta/css/martha.css
@@ -2,34 +2,33 @@
 
 /* log table ****************************************************************/
 
-.log_table {
+.log {
+  width: 100%;
   border-collapse: collapse;
 }
 
 .log_cell {
   border-color: initial;
   border-style: solid none;
+  border-width: thin;
   padding: 2px;
 }
 
 /* menus ********************************************************************/
 
-td {
-  padding: inherit;
-}
-
 .text {
   display: inline-block;
   list-style: none;
   margin: initial;
   padding: initial;
-  white-space: nowrap;  
+  white-space: nowrap;
 }
 
 .menu {
   display: none;
   border-style: solid;
   border-width: thin;
+  border-collapse: collapse;
   position: absolute;
 }
 
@@ -37,14 +36,34 @@ td {
    display: inline-block;
 }
 
+.menu_cell {
+  padding: 2px;
+}
+
+.menu_empty {
+  padding: inherit;
+}
+
+.menu_sep {
+  padding: inherit;
+  border-top-style: solid;
+  border-top-width: thin;
+}
+
 /* buttons ******************************************************************/
 
+.type {
+  font: inherit;
+}
+
 .button {
-  color: inherit;
   background-color: inherit;
-  border-style: none; 
+  border-style: none;
+  color: inherit;
+  font: inherit;
   margin: initial;
   padding: initial;
+  text-align: inherit;
 }
 
 .button:hover {
@@ -112,21 +131,25 @@ a:active {
 
 /* foreground colors (equalized to gray 8F) *********************************/
 
+.f_white {
+  color:#FFFFFF;
+}
+
 .f_gray {
   color:#8F8F8F;
 }
 
 .f_wine {
-  color:#FF52A0;                                                                                       
-}                                                                                                      
+  color:#FF52A0;
+}
 
 .f_magenta {
-  color:#FF41FF;                                                                                       
-}                                                                                                      
+  color:#FF41FF;
+}
 
 .f_prune {
-  color:#C65DFF;                                                                                       
-}                                                                                                      
+  color:#C65DFF;
+}
 
 .f_blue {
   color:#8181FF;
@@ -199,7 +222,7 @@ a:active {
 }
 
 .b_cyan {
-  background-color:#6CFFFF;  
+  background-color:#6CFFFF;
 }
 
 .b_water {
@@ -226,14 +249,18 @@ a:active {
   background-color:#FFC0C0;
 }
 
+.b_black {
+  background-color:#000000;
+}
+
 /* background colors (equalized to gray EB) *********************************/
 
 .b_gray_EB {
   background-color:#EBEBEB;
 }
 
-.b_yellow_EB {
-  background-color:#FFFF49;
+.b_blue_EB {
+  background-color:#E8E8FF;
 }
 
 .b_orange_EB {
@@ -243,3 +270,9 @@ a:active {
 .b_red_EB {
   background-color:#FFE2E2;
 }
+
+/* background colors (equalized to gray 48) *********************************/
+
+.b_gray_48 {
+  background-color:#484848;
+}