equal
deleted
inserted
replaced
|
1 /* css style file for generated Isabelle HTML output */ |
|
2 |
|
3 body { background-color: #FFFFFF; } |
|
4 |
|
5 .tclass { color: red; } |
|
6 .tfree { color: purple; } |
|
7 .tvar { color: purple; } |
|
8 .free { color: blue; } |
|
9 .bound { color: green; } |
|
10 .var { color: blue; } |
|
11 .xstr { color: brown; } |
|
12 |
|
13 .name { font-style: italic; } |
|
14 .keyword { font-weight: bold; } |
|
15 .filename { font-family: fixed; } |
|
16 |
|
17 .head { background-color: #FFFFFF; } |
|
18 .source { background-color: #F0F0F0; padding: 10px; } |
|
19 .theorems { background-color: #E0E0E0; padding: 10px; } |
|
20 |
|
21 .mlsource { background-color: #F0F0F0; padding: 10px; } |
|
22 .mlfooter { background-color: #FFFFFF; } |
|
23 |
|
24 .theories { background-color: #F0F0F0; padding: 10px; } |
|
25 .sessions { background-color: #F0F0F0; padding: 10px; } |
|
26 |
|
27 /* hide hr for this style */ |
|
28 hr { height: 0px; border: 0px; } |