]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/wanda.css
update in basic_2, static_2, 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
new file mode 100644 (file)
index 0000000..5ea84ad
--- /dev/null
@@ -0,0 +1,211 @@
+@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;
+}