]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/wanda.css
some supplementary items for web site
[helm.git] / helm / www / lambdadelta / css / wanda.css
diff --git a/helm/www/lambdadelta/css/wanda.css b/helm/www/lambdadelta/css/wanda.css
deleted file mode 100644 (file)
index 5ea84ad..0000000
+++ /dev/null
@@ -1,211 +0,0 @@
-@charset "UTF-8";
-
-/* menus ********************************************************************/
-
-.text {
-  display: inline-block;
-  list-style: none;
-  margin: 0;
-  padding: 0;
-  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;
-}
-
-/* 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;
-}