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

diff --git a/helm/www/lambdadelta/css/martha.css b/helm/www/lambdadelta/css/martha.css
index e88142d95..59c7c821a 100644
--- a/helm/www/lambdadelta/css/martha.css
+++ b/helm/www/lambdadelta/css/martha.css
@@ -1,5 +1,11 @@
 @charset "UTF-8";
 
+/* term selection ***********************************************************/
+
+.term:hover > .term:not(:hover) {
+  opacity: 0.35;
+}
+
 /* log table ****************************************************************/
 
 .log {
@@ -14,7 +20,7 @@
   padding: 2px;
 }
 
-/* menus ********************************************************************/
+/* forms ********************************************************************/
 
 .text {
   display: inline-block;
@@ -114,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 ***************************************************************/