]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/scripts/public_html/style.css
fix
[helm.git] / helm / matita / scripts / public_html / style.css
1 body {
2   font-family: sans-serif;
3   font-size: 12pt;
4 }
5
6 h1 {
7   text-align: center;
8   background-color: #87CEFA;
9 }
10
11 h2 {
12   margin-right: auto;
13   border-bottom-color: #87CEFA;
14   border-bottom-style: solid;
15   border-bottom-width: 2px;
16 }
17
18 a, .button {
19   border: 2px outset gray;
20   text-decoration: none;
21   background-color: silver;
22   color: black;
23   cursor:pointer;
24   font-size: small;
25 }
26
27 li {
28   margin-bottom: 5pt;
29   
30 }
31
32 ul {
33   list-style-type: upper-roman;
34 }