web site update

[helm.git] / helm / www / lambdadelta / css / martha.css

diff --git a/helm/www/lambdadelta/css/martha.css b/helm/www/lambdadelta/css/martha.css
index e88142d950525d6a3f72d03fe267cc5d56d0838a..59c7c821a07f5d1c78cae290948ccde5072bdbaa 100644 (file)
--- 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 ***************************************************************/