]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/style/mowgli.css
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / style / mowgli.css
1
2 table.menuborder {
3   background-color: #003377;
4 }
5
6 td.menutitle {
7   background-color: #ffeeaa;
8   color:            black;
9   font-family:      sans-serif;
10   font-weight:      bold;
11   text-align:       left;
12 }
13
14 td.menuentries {
15   background-color: #ccddff;
16   color:            black;
17   font-family:      sans-serif;
18   font-size:        smaller;
19   text-align:       left;
20 }
21
22 dl.news {
23   font-family:      sans-serif;
24 }
25
26 dt.news {
27   font-family:      monospace;
28   font-weight:      bold;
29 }
30
31 dd.news {
32   font-family:      sans-serif;
33 }
34
35 div.small {
36   font-size:        smaller;
37 }
38
39 div.center {
40   text-align:       center;
41 }
42
43 div.right {
44   text-align:       right;
45 }
46
47 body {
48   font-family:      sans-serif;
49   background-color: white;
50   color:            black;
51 }
52
53 body.content {
54   font-family:      sans-serif;
55   background-color: white;
56   color:            black;
57
58 }
59
60 a {
61   color:            #003377;
62 }
63
64 a:hover {
65   background-color: #ffeeaa;
66   color:            #003377;
67 }
68
69 a:visited {
70   color:            black;
71 }
72
73 table.small {
74   font-size: small
75 }
76
77 td.title {
78   font-family: sans-serif;
79   font-weight: bold;
80   font-size: large
81 }
82
83 td.top {
84   font-weight: bold;
85   font-size: x-small
86 }
87
88 li {
89   list-style-type: circle
90 }