X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fmartha.css;h=59c7c821a07f5d1c78cae290948ccde5072bdbaa;hb=e2a04af38529be1522e99963b96f32685708a7bf;hp=32689b1ed4472c8e805e5b2785ddab55eb879627;hpb=de553cff0ce5babd88e402fe0a588f7adcd8909f;p=helm.git

diff --git a/helm/www/lambdadelta/css/martha.css b/helm/www/lambdadelta/css/martha.css
index 32689b1ed..59c7c821a 100644
--- a/helm/www/lambdadelta/css/martha.css
+++ b/helm/www/lambdadelta/css/martha.css
@@ -1,35 +1,40 @@
 @charset "UTF-8";
 
+/* term selection ***********************************************************/
+
+.term:hover > .term:not(:hover) {
+  opacity: 0.35;
+}
+
 /* 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;
-}
+/* forms ********************************************************************/
 
 .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 +42,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 {
@@ -95,13 +120,13 @@ a:active {
 /* font families ************************************************************/
 
 .monospace {
-  font-family:monospace;
+  font-family: monospace; "Courier New", Courier;
 }
 
 /* line heights *************************************************************/
 
 .l_150 {
-  line-height:150%;
+  line-height: 150%;
 }
 
 /* font sizes ***************************************************************/
@@ -112,21 +137,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 +228,7 @@ a:active {
 }
 
 .b_cyan {
-  background-color:#6CFFFF;  
+  background-color:#6CFFFF;
 }
 
 .b_water {
@@ -226,14 +255,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 +276,9 @@ a:active {
 .b_red_EB {
   background-color:#FFE2E2;
 }
+
+/* background colors (equalized to gray 48) *********************************/
+
+.b_gray_48 {
+  background-color:#484848;
+}