From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Sat, 1 Dec 2018 19:18:50 +0000 (+0100)
Subject: web site update
X-Git-Tag: make_still_working~263
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=de553cff0ce5babd88e402fe0a588f7adcd8909f

web site update

additions in a css file
---

diff --git a/helm/www/lambdadelta/css/martha.css b/helm/www/lambdadelta/css/martha.css
index 68e956194..32689b1ed 100644
--- a/helm/www/lambdadelta/css/martha.css
+++ b/helm/www/lambdadelta/css/martha.css
@@ -1,5 +1,17 @@
 @charset "UTF-8";
 
+/* log table ****************************************************************/
+
+.log_table {
+  border-collapse: collapse;
+}
+
+.log_cell {
+  border-color: initial;
+  border-style: solid none;
+  padding: 2px;
+}
+
 /* menus ********************************************************************/
 
 td {
@@ -219,3 +231,15 @@ a:active {
 .b_gray_EB {
   background-color:#EBEBEB;
 }
+
+.b_yellow_EB {
+  background-color:#FFFF49;
+}
+
+.b_orange_EB {
+  background-color:#FFEBB1;
+}
+
+.b_red_EB {
+  background-color:#FFE2E2;
+}