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