From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Mon, 19 Nov 2018 19:36:53 +0000 (+0100)
Subject: supplementary files for web site
X-Git-Tag: make_still_working~264
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=baa054dbb476c30576bf11b81246008a7de53462

supplementary files for web site

+ css file name corrected
---

diff --git a/helm/www/lambdadelta/css/martha.cs b/helm/www/lambdadelta/css/martha.cs
deleted file mode 100644
index 68e956194..000000000
--- a/helm/www/lambdadelta/css/martha.cs
+++ /dev/null
@@ -1,221 +0,0 @@
-@charset "UTF-8";
-
-/* menus ********************************************************************/
-
-td {
-  padding: inherit;
-}
-
-.text {
-  display: inline-block;
-  list-style: none;
-  margin: initial;
-  padding: initial;
-  white-space: nowrap;  
-}
-
-.menu {
-  display: none;
-  border-style: solid;
-  border-width: thin;
-  position: absolute;
-}
-
-.menu:target {
-   display: inline-block;
-}
-
-/* buttons ******************************************************************/
-
-.button {
-  color: inherit;
-  background-color: inherit;
-  border-style: none; 
-  margin: initial;
-  padding: initial;
-}
-
-.button:hover {
-  text-decoration: underline;
-}
-
-/* anchors ******************************************************************/
-
-a:link {
-  text-decoration: initial;
-  color: inherit;
-}
-
-/* visited link */
-a:visited {
-  text-decoration: initial;
-  color: inherit;
-}
-
-/* mouse over link */
-a:hover {
-  text-decoration: underline;
-  color: inherit;
-}
-
-/* selected link */
-a:active {
-  text-decoration: underline;
-  color: inherit;
-}
-
-/* displays *****************************************************************/
-
-.block {
-   display: block;
-}
-
-.inline {
-   display: inline;
-}
-
-/* alignment ****************************************************************/
-
-.center {
-  text-align: center;
-}
-
-/* font families ************************************************************/
-
-.monospace {
-  font-family:monospace;
-}
-
-/* line heights *************************************************************/
-
-.l_150 {
-  line-height:150%;
-}
-
-/* font sizes ***************************************************************/
-
-.t_130 {
-  font-size: 130%;
-}
-
-/* foreground colors (equalized to gray 8F) *********************************/
-
-.f_gray {
-  color:#8F8F8F;
-}
-
-.f_wine {
-  color:#FF52A0;                                                                                       
-}                                                                                                      
-
-.f_magenta {
-  color:#FF41FF;                                                                                       
-}                                                                                                      
-
-.f_prune {
-  color:#C65DFF;                                                                                       
-}                                                                                                      
-
-.f_blue {
-  color:#8181FF;
-}
-
-.f_sky {
-  color:#04C0FF;
-}
-
-.f_cyan {
-  color:#00CCCC;
-}
-
-.f_water {
-  color:#00D88C;
-}
-
-.f_green {
-  color:#00F200;
-}
-
-.f_grass {
-  color:#83AF00;
-}
-
-.f_yellow {
-  color:#A0A000;
-}
-
-.f_orange {
-  color:#C09000;
-}
-
-.f_red {
-  color:#FF5F5F;
-}
-
-.f_black {
-  color:#000000;
-}
-
-/* background colors (equalized to gray D3) *********************************/
-
-.b_white {
-  background-color:#FFFFFF;
-}
-
-.b_gray {
-  background-color:#D3D3D3;
-}
-
-.b_wine {
-  background-color:#FFBBD9;
-}
-
-.b_magenta {
-  background-color:#FFB4FF;
-}
-
-.b_prune {
-  background-color:#E8BFFF;
-}
-
-.b_blue {
-  background-color:#CDCDFF;
-}
-
-.b_sky {
-  background-color:#9CE6FF;
-}
-
-.b_cyan {
-  background-color:#6CFFFF;  
-}
-
-.b_water {
-  background-color:#7DFFD1;
-}
-
-.b_green {
-  background-color:#93FF93;
-}
-
-.b_grass {
-  background-color:#C3FF11;
-}
-
-.b_yellow {
-  background-color:#EDED00;
-}
-
-.b_orange {
-  background-color:#FFD454;
-}
-
-.b_red {
-  background-color:#FFC0C0;
-}
-
-/* background colors (equalized to gray EB) *********************************/
-
-.b_gray_EB {
-  background-color:#EBEBEB;
-}
diff --git a/helm/www/lambdadelta/css/martha.css b/helm/www/lambdadelta/css/martha.css
new file mode 100644
index 000000000..68e956194
--- /dev/null
+++ b/helm/www/lambdadelta/css/martha.css
@@ -0,0 +1,221 @@
+@charset "UTF-8";
+
+/* menus ********************************************************************/
+
+td {
+  padding: inherit;
+}
+
+.text {
+  display: inline-block;
+  list-style: none;
+  margin: initial;
+  padding: initial;
+  white-space: nowrap;  
+}
+
+.menu {
+  display: none;
+  border-style: solid;
+  border-width: thin;
+  position: absolute;
+}
+
+.menu:target {
+   display: inline-block;
+}
+
+/* buttons ******************************************************************/
+
+.button {
+  color: inherit;
+  background-color: inherit;
+  border-style: none; 
+  margin: initial;
+  padding: initial;
+}
+
+.button:hover {
+  text-decoration: underline;
+}
+
+/* anchors ******************************************************************/
+
+a:link {
+  text-decoration: initial;
+  color: inherit;
+}
+
+/* visited link */
+a:visited {
+  text-decoration: initial;
+  color: inherit;
+}
+
+/* mouse over link */
+a:hover {
+  text-decoration: underline;
+  color: inherit;
+}
+
+/* selected link */
+a:active {
+  text-decoration: underline;
+  color: inherit;
+}
+
+/* displays *****************************************************************/
+
+.block {
+   display: block;
+}
+
+.inline {
+   display: inline;
+}
+
+/* alignment ****************************************************************/
+
+.center {
+  text-align: center;
+}
+
+/* font families ************************************************************/
+
+.monospace {
+  font-family:monospace;
+}
+
+/* line heights *************************************************************/
+
+.l_150 {
+  line-height:150%;
+}
+
+/* font sizes ***************************************************************/
+
+.t_130 {
+  font-size: 130%;
+}
+
+/* foreground colors (equalized to gray 8F) *********************************/
+
+.f_gray {
+  color:#8F8F8F;
+}
+
+.f_wine {
+  color:#FF52A0;                                                                                       
+}                                                                                                      
+
+.f_magenta {
+  color:#FF41FF;                                                                                       
+}                                                                                                      
+
+.f_prune {
+  color:#C65DFF;                                                                                       
+}                                                                                                      
+
+.f_blue {
+  color:#8181FF;
+}
+
+.f_sky {
+  color:#04C0FF;
+}
+
+.f_cyan {
+  color:#00CCCC;
+}
+
+.f_water {
+  color:#00D88C;
+}
+
+.f_green {
+  color:#00F200;
+}
+
+.f_grass {
+  color:#83AF00;
+}
+
+.f_yellow {
+  color:#A0A000;
+}
+
+.f_orange {
+  color:#C09000;
+}
+
+.f_red {
+  color:#FF5F5F;
+}
+
+.f_black {
+  color:#000000;
+}
+
+/* background colors (equalized to gray D3) *********************************/
+
+.b_white {
+  background-color:#FFFFFF;
+}
+
+.b_gray {
+  background-color:#D3D3D3;
+}
+
+.b_wine {
+  background-color:#FFBBD9;
+}
+
+.b_magenta {
+  background-color:#FFB4FF;
+}
+
+.b_prune {
+  background-color:#E8BFFF;
+}
+
+.b_blue {
+  background-color:#CDCDFF;
+}
+
+.b_sky {
+  background-color:#9CE6FF;
+}
+
+.b_cyan {
+  background-color:#6CFFFF;  
+}
+
+.b_water {
+  background-color:#7DFFD1;
+}
+
+.b_green {
+  background-color:#93FF93;
+}
+
+.b_grass {
+  background-color:#C3FF11;
+}
+
+.b_yellow {
+  background-color:#EDED00;
+}
+
+.b_orange {
+  background-color:#FFD454;
+}
+
+.b_red {
+  background-color:#FFC0C0;
+}
+
+/* background colors (equalized to gray EB) *********************************/
+
+.b_gray_EB {
+  background-color:#EBEBEB;
+}