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