|
14542
|
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; }
|