1body {
2 font-family: sans-serif;
3 background: white;
4}
5
6h1
7{
8 color: #005aa0;
9 font-size: 180%;
10}
11
12a {
13 text-decoration: none;
14}
15
16
17ul.nesting, ul.toplevel {
18 padding: 0;
19 margin: 0;
20}
21
22ul.toplevel {
23 list-style-type: none;
24}
25
26.line, .head {
27 padding-top: 0em;
28}
29
30ul.nesting li.line, ul.nesting li.lastline {
31 position: relative;
32 list-style-type: none;
33}
34
35ul.nesting li.line {
36 padding-left: 2.0em;
37}
38
39ul.nesting li.lastline {
40 padding-left: 2.1em; /* for the 0.1em border-left in .lastline > .lineconn */
41}
42
43li.line {
44 border-left: 0.1em solid #6185a0;
45}
46
47li.line > span.lineconn, li.lastline > span.lineconn {
48 position: absolute;
49 height: 0.65em;
50 left: 0em;
51 width: 1.5em;
52 border-bottom: 0.1em solid #6185a0;
53}
54
55li.lastline > span.lineconn {
56 border-left: 0.1em solid #6185a0;
57}
58
59
60em.storeref {
61 color: #500000;
62 position: relative;
63 width: 100%;
64}
65
66em.storeref:hover {
67 background-color: #eeeeee;
68}
69
70*.popup {
71 display: none;
72/* background: url('http://losser.st-lab.cs.uu.nl/~mbravenb/menuback.png') repeat; */
73 background: #ffffcd;
74 border: solid #555555 1px;
75 position: absolute;
76 top: 0em;
77 left: 0em;
78 margin: 0;
79 padding: 0;
80 z-index: 100;
81}
82
83em.storeref:hover span.popup {
84 display: inline;
85 width: 40em;
86}
87
88
89.logTreeToggle {
90 text-decoration: none;
91 font-family: monospace;
92 font-size: larger;
93}
94
95.errorLine {
96 color: #ff0000;
97 font-weight: bold;
98}
99
100.warningLine {
101 color: darkorange;
102 font-weight: bold;
103}
104
105.prio3 {
106 font-style: italic;
107}
108
109code {
110 white-space: pre-wrap;
111}
112
113.serial {
114 color: #56115c;
115}
116
117.machine {
118 color: #002399;
119 font-style: italic;
120}
121
122ul.vmScreenshots {
123 padding-left: 1em;
124}
125
126ul.vmScreenshots li {
127 font-family: monospace;
128 list-style: square;
129}