From de553cff0ce5babd88e402fe0a588f7adcd8909f Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Date: Sat, 1 Dec 2018 20:18:50 +0100
Subject: [PATCH] web site update

additions in a css file
---
 helm/www/lambdadelta/css/martha.css | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

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;
+}
-- 
2.39.2