]> matita.cs.unibo.it Git - helm.git/blob - helm/software/helena/xml/ld.css
the refactoring continues ...
[helm.git] / helm / software / helena / xml / ld.css
1 @charset "UTF-8";
2
3 /* general ******************************************************************/
4
5 body {
6    background: rgb(255, 255, 255); 
7    color: rgb(0, 0, 0);
8    margin: 2.5%;
9 }
10
11 a:link, a:visited {
12    text-decoration: underline;
13 }
14
15 a:active, a:hover, a:focus {
16    background: rgb(192, 192, 192);
17 }
18
19 /* blocks *******************************************************************/
20
21 .spacer {
22    text-align: center;
23 }
24
25 .head1 {
26    margin: 0.5em 0; 
27    text-align: center;
28    font-weight: bold; 
29    font-size: xx-large;
30 }
31
32 .head2 {
33    margin: 0.5em 0; 
34    text-align: left;
35    font-weight: bold; 
36    font-size: x-large;
37 }
38
39 .text {
40    margin: 1em 0; 
41    text-align: left;
42 }
43
44 /* inline decorations *******************************************************/
45
46 .icon32 {
47    border: 0; 
48    width: 32px; 
49    height: 32px;
50 }
51
52 .rule {
53    border: 0; 
54    height: 4px;
55    width: 100%; 
56 }
57
58 .w3c {
59    margin: 0 0.5em; 
60    border: 0; 
61    width: 88px; 
62    height: 32px; /* this should be 31px */
63 }