wneuper@59324
|
1 |
/* standard document markup */
|
kleing@14542
|
2 |
|
wneuper@59324
|
3 |
dt {
|
wneuper@59324
|
4 |
float: left;
|
wneuper@59324
|
5 |
clear: left;
|
wneuper@59324
|
6 |
padding-right: 0.5em;
|
wneuper@59324
|
7 |
font-weight: bold;
|
wneuper@59324
|
8 |
}
|
wneuper@59324
|
9 |
|
wneuper@59324
|
10 |
body {
|
wneuper@59324
|
11 |
color: #000000;
|
wneuper@59324
|
12 |
background-color: #FFFFFF;
|
wneuper@59324
|
13 |
}
|
kleing@14542
|
14 |
|
kleing@14542
|
15 |
.head { background-color: #FFFFFF; }
|
wneuper@59324
|
16 |
.source {
|
wneuper@59324
|
17 |
direction: ltr; unicode-bidi: bidi-override;
|
wneuper@59324
|
18 |
background-color: #FFFFFF;
|
wneuper@59324
|
19 |
padding: 10px;
|
walther@59606
|
20 |
font-family: "Isabelle DejaVu Sans Mono", monospace;
|
wneuper@59324
|
21 |
}
|
kleing@14542
|
22 |
|
wneuper@59180
|
23 |
.theories { background-color: #FFFFFF; padding: 10px; }
|
wneuper@59180
|
24 |
.sessions { background-color: #FFFFFF; padding: 10px; }
|
walther@59606
|
25 |
.document { white-space: normal; font-family: "Isabelle DejaVu Serif", serif; }
|
kleing@14542
|
26 |
|
wenzelm@27848
|
27 |
.name { font-style: italic; }
|
walther@59606
|
28 |
.filename { font-family: "Isabelle DejaVu Sans Mono", monospace; }
|
wenzelm@23716
|
29 |
|
wenzelm@27848
|
30 |
|
wenzelm@33994
|
31 |
/* basic syntax markup */
|
wenzelm@27848
|
32 |
|
wneuper@59324
|
33 |
.hidden { font-family: Vacuous; font-size: 1%; color: rgba(255,255,255,0); }
|
wneuper@59451
|
34 |
.control { font-weight: bold; font-style: italic; }
|
wenzelm@33994
|
35 |
|
wenzelm@44421
|
36 |
.binding { color: #336655; }
|
wenzelm@44420
|
37 |
.tfree { color: #A020F0; }
|
wenzelm@44420
|
38 |
.tvar { color: #A020F0; }
|
wneuper@59324
|
39 |
.free { color: #0000FF; }
|
wenzelm@44420
|
40 |
.skolem { color: #D2691E; }
|
wneuper@59324
|
41 |
.bound { color: #008000; }
|
wenzelm@44420
|
42 |
.var { color: #00009B; }
|
wenzelm@44420
|
43 |
.numeral { }
|
wenzelm@44420
|
44 |
.literal { font-weight: bold; }
|
wenzelm@44420
|
45 |
.delimiter { }
|
wneuper@59324
|
46 |
.inner_numeral { color: #FF0000; }
|
wneuper@59324
|
47 |
.inner_quoted { color: #FF00CC; }
|
wenzelm@56375
|
48 |
.inner_cartouche { color: #CC6600; }
|
walther@59606
|
49 |
.comment1 { color: #CC0000; }
|
walther@59606
|
50 |
.comment2 { color: #FF8400; }
|
walther@59606
|
51 |
.comment3 { color: #6600CC; }
|
wneuper@59324
|
52 |
.dynamic { color: #7BA428; }
|
wneuper@59324
|
53 |
.class_parameter_color { color: #D2691E; }
|
wenzelm@29321
|
54 |
|
wenzelm@44420
|
55 |
.bold { font-weight: bold; }
|
wenzelm@29321
|
56 |
|
wneuper@59324
|
57 |
.main { color: #000000; }
|
wneuper@59324
|
58 |
.command { font-weight: bold; }
|
wneuper@59324
|
59 |
.keyword { font-weight: bold; }
|
wneuper@59324
|
60 |
.keyword1 { color: #006699; }
|
wneuper@59324
|
61 |
.keyword2 { color: #009966; }
|
wneuper@59324
|
62 |
.keyword3 { color: #0099FF; }
|
wneuper@59324
|
63 |
.quasi_keyword { color: #9966FF; }
|
wneuper@59324
|
64 |
.operator { color: #323232; }
|
wneuper@59180
|
65 |
.string { color: #FF00CC; }
|
wneuper@59180
|
66 |
.alt_string { color: #CC00CC; }
|
wneuper@59180
|
67 |
.verbatim { color: #6600CC; }
|
wenzelm@56375
|
68 |
.cartouche { color: #CC6600; }
|
wneuper@59180
|
69 |
.comment { color: #CC0000; }
|
wneuper@59180
|
70 |
.improper { color: #FF5050; }
|
walther@59606
|
71 |
.antiquote { color: #6600CC; }
|
walther@59606
|
72 |
.raw_text { color: #6600CC; }
|
walther@59606
|
73 |
.plain_text { color: #CC6600; }
|
wenzelm@49766
|
74 |
.bad { background-color: #FF6A6A; }
|
wneuper@59324
|
75 |
.quoted { background-color: rgba(139,139,139,0.05); }
|
wneuper@59324
|
76 |
.antiquoted { background-color: rgba(255,200,50,0.1); }
|
wenzelm@27848
|
77 |
|
wneuper@59324
|
78 |
|
wneuper@59324
|
79 |
/* message background */
|
wneuper@59324
|
80 |
|
wneuper@59324
|
81 |
.writeln_message { background-color: #F0F0F0; }
|
wneuper@59324
|
82 |
.information_message { background-color: #DCEAF3; }
|
wneuper@59324
|
83 |
.tracing_message { background-color: #F0F8FF; }
|
wneuper@59324
|
84 |
.warning_message { background-color: #EEE8AA; }
|
wneuper@59324
|
85 |
.legacy_message { background-color: #EEE8AA; }
|
wneuper@59324
|
86 |
.error_message { background-color: #FFC1C1; }
|
wneuper@59324
|
87 |
|
wneuper@59324
|
88 |
|
wneuper@59324
|
89 |
/* message underline */
|
wneuper@59324
|
90 |
|
wneuper@59324
|
91 |
.writeln { border-bottom: 1px dotted #C0C0C0; }
|
wneuper@59324
|
92 |
.information { border-bottom: 1px dotted #C1DFEE; }
|
wneuper@59324
|
93 |
.warning { border-bottom: 1px dotted #FF8C00; }
|
wneuper@59324
|
94 |
.legacy { border-bottom: 1px dotted #FF8C00; }
|
wneuper@59324
|
95 |
.error { border-bottom: 1px dotted #B22222; }
|
wneuper@59324
|
96 |
|
wneuper@59324
|
97 |
|
wneuper@59324
|
98 |
/* tooltips */
|
wneuper@59324
|
99 |
|
wneuper@59324
|
100 |
.writeln { position: relative; display: inline-block; }
|
wneuper@59324
|
101 |
.information { position: relative; display: inline-block; }
|
wneuper@59324
|
102 |
.warning { position: relative; display: inline-block; }
|
wneuper@59324
|
103 |
.legacy { position: relative; display: inline-block; }
|
wneuper@59324
|
104 |
.error { position: relative; display: inline-block; }
|
wneuper@59324
|
105 |
|
wneuper@59324
|
106 |
.writeln:hover .tooltip { visibility: visible; }
|
wneuper@59324
|
107 |
.information:hover .tooltip { visibility: visible; }
|
wneuper@59324
|
108 |
.warning:hover .tooltip { visibility: visible; }
|
wneuper@59324
|
109 |
.legacy:hover .tooltip { visibility: visible; }
|
wneuper@59324
|
110 |
.error:hover .tooltip { visibility: visible; }
|
wneuper@59324
|
111 |
|
wneuper@59324
|
112 |
.tooltip {
|
wneuper@59324
|
113 |
top: -0.5ex;
|
wneuper@59324
|
114 |
left: 5em;
|
wneuper@59324
|
115 |
visibility: hidden;
|
wneuper@59324
|
116 |
width: 50em;
|
wneuper@59324
|
117 |
border: 1px solid #808080;
|
wneuper@59324
|
118 |
padding: 1px 1px;
|
wneuper@59324
|
119 |
background-color: #FFFFE9;
|
wneuper@59324
|
120 |
position: absolute;
|
wneuper@59324
|
121 |
z-index: 1;
|
wneuper@59324
|
122 |
}
|
wneuper@59324
|
123 |
|
wneuper@59324
|
124 |
.tooltip pre { margin: 1px; white-space: pre-wrap; }
|