]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/xml/ld-html.css
54728c8055d488b3c73cf101153b15df39bf48db
[helm.git] / helm / software / lambda-delta / xml / ld-html.css
1 @charset "UTF-8";
2
3 a:link, a:visited {
4    text-decoration: underline;
5 }
6
7 a:active, a:hover, a:focus {
8    background: rgb(192, 255, 255);
9 }
10
11 .separator {
12    color: rgb(0, 0, 0);
13 }
14
15 .sort {
16    color: rgb(128, 0, 255);
17 }
18
19 .lref {
20    color: rgb(0, 0, 0);
21 }
22
23 .gref {
24    color: rgb(0, 0, 255);
25 }
26
27 .appl {
28    color: rgb(0, 0, 0);
29 }
30
31 .cast {
32    color: rgb(255, 0, 0);
33 }
34
35 .local {
36    color: rgb(0, 160, 0);
37 }
38
39 .global {
40    color: rgb(0, 0, 0);
41 }