X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fmartha.css;h=59c7c821a07f5d1c78cae290948ccde5072bdbaa;hb=87f57ddc367303c33e19c83cd8989cd561f3185b;hp=68e9561947941374d0bb14561daa189576822773;hpb=baa054dbb476c30576bf11b81246008a7de53462;p=helm.git

diff --git a/helm/www/lambdadelta/css/martha.css b/helm/www/lambdadelta/css/martha.css
index 68e956194..59c7c821a 100644
--- a/helm/www/lambdadelta/css/martha.css
+++ b/helm/www/lambdadelta/css/martha.css
@@ -1,23 +1,40 @@
 @charset "UTF-8";
 
-/* menus ********************************************************************/
+/* term selection ***********************************************************/
 
-td {
-  padding: inherit;
+.term:hover > .term:not(:hover) {
+  opacity: 0.35;
 }
 
+/* log table ****************************************************************/
+
+.log {
+  width: 100%;
+  border-collapse: collapse;
+}
+
+.log_cell {
+  border-color: initial;
+  border-style: solid none;
+  border-width: thin;
+  padding: 2px;
+}
+
+/* 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;
 }
 
@@ -25,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 {
@@ -83,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 ***************************************************************/
@@ -100,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;
@@ -187,7 +228,7 @@ a:active {
 }
 
 .b_cyan {
-  background-color:#6CFFFF;  
+  background-color:#6CFFFF;
 }
 
 .b_water {
@@ -214,8 +255,30 @@ a:active {
   background-color:#FFC0C0;
 }
 
+.b_black {
+  background-color:#000000;
+}
+
 /* background colors (equalized to gray EB) *********************************/
 
 .b_gray_EB {
   background-color:#EBEBEB;
 }
+
+.b_blue_EB {
+  background-color:#E8E8FF;
+}
+
+.b_orange_EB {
+  background-color:#FFEBB1;
+}
+
+.b_red_EB {
+  background-color:#FFE2E2;
+}
+
+/* background colors (equalized to gray 48) *********************************/
+
+.b_gray_48 {
+  background-color:#484848;
+}