From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 10 Dec 2018 20:13:41 +0000 (+0100)
Subject: web site update
X-Git-Tag: make_still_working~261
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=e2a04af38529be1522e99963b96f32685708a7bf;hp=13f26fb386bcf970cb24d9e59d28dac2484c5ce0

web site update

one css stylesheet improved
---

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 ***************************************************************/