From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 26 Oct 2017 20:38:49 +0000 (+0000)
Subject: updated colors for summary tables in the web site
X-Git-Tag: make_still_working~418
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=0e3962b42f821bd7a2b30345a02488958d70fa2f

updated colors for summary tables in the web site
---

diff --git a/helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl b/helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl
index c87e8d037..717a4600a 100644
--- a/helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl
+++ b/helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl
@@ -1,10 +1,10 @@
 name "basic_1_sum"
 
 table {
-   class "gray"   [ "category"
+   class "gray"  [ "category"
       [ "objects" * ]
    ]
-   class "cyan"   [ "sizes"
+   class "water" [ "sizes"
       [ "files"      "120" ]
       [ "characters" "198089" ]
       [ "nodes"      "1449099" ]
@@ -14,7 +14,7 @@ table {
       [ "lemmas"   "618" ]
       [ "total"    "699" ]
    ]
-   class "yellow" [ "concepts"
+   class "grass"  [ "concepts"
       [ "declared" "39" ]
       [ "defined"  "47" ]
       [ "total"    "86" ]
diff --git a/helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl b/helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl
index 88451619c..169c77b1a 100644
--- a/helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl
+++ b/helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl
@@ -1,20 +1,20 @@
 name "ground_1_sum"
 
 table {
-   class "gray"   [ "category"
+   class "gray"  [ "category"
       [ "objects" * ]
    ]
-   class "cyan"   [ "sizes"
+   class "water" [ "sizes"
       [ "files"      "10" ]
       [ "characters" "15063" ]
       [ "nodes"      "14881" ]
    ]
-   class "green"  [ "propositions"
+   class "green" [ "propositions"
       [ "theorems" "0" ]
       [ "lemmas"   "50" ]
       [ "total"    "50" ]
    ]
-   class "yellow" [ "concepts"
+   class "grass" [ "concepts"
       [ "declared" "24" ]
       [ "defined"  "4" ]
       [ "total"    "28" ]