]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/css/wanda.css
update in basic_2, static_2, web site
[helm.git] / helm / www / lambdadelta / css / wanda.css
1 @charset "UTF-8";
2
3 /* menus ********************************************************************/
4
5 .text {
6   display: inline-block;
7   list-style: none;
8   margin: 0;
9   padding: 0;
10   white-space: nowrap;  
11 }
12
13 .menu {
14   display: none;
15   border-style: solid;
16   border-width: thin;
17   position: absolute;
18 }
19
20 .menu:target {
21    display: inline-block;
22 }
23
24 /* buttons ******************************************************************/
25
26 .button {
27   color: inherit;
28   background-color: inherit;
29   border-style: none; 
30   margin: initial;
31   padding: initial;
32 }
33
34 .button:hover {
35   text-decoration: underline;
36 }
37
38 /* anchors ******************************************************************/
39
40 a:link {
41   text-decoration: initial;
42   color: inherit;
43 }
44
45 /* visited link */
46 a:visited {
47   text-decoration: initial;
48   color: inherit;
49 }
50
51 /* mouse over link */
52 a:hover {
53   text-decoration: underline;
54   color: inherit;
55 }
56
57 /* selected link */
58 a:active {
59   text-decoration: underline;
60   color: inherit;
61 }
62
63 /* displays *****************************************************************/
64
65 .block {
66    display: block;
67 }
68
69 .inline {
70    display: inline;
71 }
72
73 /* font families ************************************************************/
74
75 .monospace {
76   font-family:monospace;
77 }
78
79 /* line heights *************************************************************/
80
81 .l_150 {
82   line-height:150%;
83 }
84
85 /* font sizes ***************************************************************/
86
87 .t_130 {
88   font-size: 130%;
89
90
91 /* foreground colors (equalized to gray 8F) *********************************/
92
93 .f_gray {
94   color:#8F8F8F;
95 }
96
97 .f_wine {
98   color:#FF52A0;                                                                                       
99 }                                                                                                      
100
101 .f_magenta {
102   color:#FF41FF;                                                                                       
103 }                                                                                                      
104
105 .f_prune {
106   color:#C65DFF;                                                                                       
107 }                                                                                                      
108
109 .f_blue {
110   color:#8181FF;
111 }
112
113 .f_sky {
114   color:#04C0FF;
115 }
116
117 .f_cyan {
118   color:#00CCCC;
119 }
120
121 .f_water {
122   color:#00D88C;
123 }
124
125 .f_green {
126   color:#00F200;
127 }
128
129 .f_grass {
130   color:#83AF00;
131 }
132
133 .f_yellow {
134   color:#A0A000;
135 }
136
137 .f_orange {
138   color:#C09000;
139 }
140
141 .f_red {
142   color:#FF5F5F;
143 }
144
145 .f_black {
146   color:#000000;
147 }
148
149 /* background colors (equalized to gray D3) *********************************/
150
151 .b_white {
152   background-color:#FFFFFF;
153 }
154
155 .b_gray {
156   background-color:#D3D3D3;
157 }
158
159 .b_wine {
160   background-color:#FFBBD9;
161 }
162
163 .b_magenta {
164   background-color:#FFB4FF;
165 }
166
167 .b_prune {
168   background-color:#E8BFFF;
169 }
170
171 .b_blue {
172   background-color:#CDCDFF;
173 }
174
175 .b_sky {
176   background-color:#9CE6FF;
177 }
178
179 .b_cyan {
180   background-color:#6CFFFF;  
181 }
182
183 .b_water {
184   background-color:#7DFFD1;
185 }
186
187 .b_green {
188   background-color:#93FF93;
189 }
190
191 .b_grass {
192   background-color:#C3FF11;
193 }
194
195 .b_yellow {
196   background-color:#EDED00;
197 }
198
199 .b_orange {
200   background-color:#FFD454;
201 }
202
203 .b_red {
204   background-color:#FFC0C0;
205 }
206
207 /* background colors (equalized to gray EB) *********************************/
208
209 .b_gray_EB {
210   background-color:#EBEBEB;
211 }