1 /* style file for Isabelle XHTML/XML output */
3 body { background-color: #FFFFFF; }
5 .head { background-color: #FFFFFF; }
6 .source { background-color: #F0F0F0; padding: 10px; }
8 .external_source { background-color: #F0F0F0; padding: 10px; }
9 .external_footer { background-color: #FFFFFF; }
11 .theories { background-color: #F0F0F0; padding: 10px; }
12 .sessions { background-color: #F0F0F0; padding: 10px; }
14 .name { font-style: italic; }
15 .filename { font-family: fixed; }
18 /* basic syntax markup */
20 .hidden { font-size: 1px; visibility: hidden; }
22 .binding { color: #336655; }
23 .tfree { color: #A020F0; }
24 .tvar { color: #A020F0; }
25 .free { color: blue; }
26 .skolem { color: #D2691E; }
27 .bound { color: green; }
28 .var { color: #00009B; }
30 .literal { font-weight: bold; }
32 .inner_string { color: #D2691E; }
33 .inner_comment { color: #8B0000; }
35 .bold { font-weight: bold; }
37 .keyword { font-weight: bold; }
39 .command { font-weight: bold; }
40 .string { color: #008B00; }
41 .altstring { color: #8B8B00; }
42 .verbatim { color: #00008B; }
43 .comment { color: #8B0000; }
44 .control { background-color: #FF6A6A; }
45 .bad { background-color: #FF6A6A; }
47 .keyword1 { font-weight: bold; }
48 .keyword2 { font-weight: bold; }