From e2a04af38529be1522e99963b96f32685708a7bf Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 10 Dec 2018 21:13:41 +0100
Subject: [PATCH] web site update

one css stylesheet improved
---
 helm/www/lambdadelta/css/martha.css | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

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