]> matita.cs.unibo.it Git - helm.git/commitdiff
web site update
authorFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 1 Dec 2018 19:18:50 +0000 (20:18 +0100)
committerFerruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it>
Sat, 1 Dec 2018 19:18:50 +0000 (20:18 +0100)
additions in a css file

helm/www/lambdadelta/css/martha.css

index 68e9561947941374d0bb14561daa189576822773..32689b1ed4472c8e805e5b2785ddab55eb879627 100644 (file)
@@ -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;
+}