]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita1.0/grafite-format.css
- natural numbers with infinity for lambdadelta
[helm.git] / helm / www / matita1.0 / grafite-format.css
1 /* color scheme similar to the colors we use in gtksourceview */
2
3 .grafite_TheoremKinds {
4         color: #a52a2a;
5         font-weight: bold;
6 }
7
8 .grafite_Commands {
9         color: #a52a2a;
10         font-weight: bold;
11 }
12
13 .grafite_Tactics {
14         color: #008b8b;
15         /*font-style: italic;*/
16 }
17
18 .grafite_Macros {
19         color: #a020f0;
20 }
21
22 .grafite_Sorts {
23         color: #2e8b57;
24 }
25
26 .grafite_Operators {
27         color: #a020f0;
28 }
29
30 .grafite_String {
31         color: #ff00ff;
32 }
33
34 .grafite_Comment {
35         color: #0000ff;
36 }
37
38 .grafite_Symbols {
39         color: #a52a2a;
40         font-weight: bold;
41 }
42
43 /* color scheme from colorer's navy.css stylesheet */
44
45 /*
46 .grafite_TheoremKinds {
47         color: #7779bb;
48         font-weight: bold;
49 }
50
51 .grafite_Commands {
52         color: #200080;
53         font-weight: bold;
54 }
55
56 .grafite_Tactics {
57         color: #930000;
58         font-style: italic;
59 }
60
61 .grafite_Macros {
62         color: #004a43;
63 }
64
65 .grafite_Sorts {
66         color: #7779bb;
67 }
68
69 .grafite_Operators {
70         color: #44aadd;
71 }
72
73 .grafite_String {
74         color: #1060b6;
75 }
76
77 .grafite_Comment {
78         color: #595979;
79 }
80
81 .grafite_Symbols {
82         color: #406080;
83         font-weight: bold;
84 }
85 */