]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/martha.css
web site update
[helm.git] / 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;
+}