130 lines
1.8 KiB
CSS
130 lines
1.8 KiB
CSS
body {
|
|
font-family: sans-serif;
|
|
background: white;
|
|
}
|
|
|
|
h1
|
|
{
|
|
color: #005aa0;
|
|
font-size: 180%;
|
|
}
|
|
|
|
a {
|
|
text-decoration: none;
|
|
}
|
|
|
|
|
|
ul.nesting, ul.toplevel {
|
|
padding: 0;
|
|
margin: 0;
|
|
}
|
|
|
|
ul.toplevel {
|
|
list-style-type: none;
|
|
}
|
|
|
|
.line, .head {
|
|
padding-top: 0em;
|
|
}
|
|
|
|
ul.nesting li.line, ul.nesting li.lastline {
|
|
position: relative;
|
|
list-style-type: none;
|
|
}
|
|
|
|
ul.nesting li.line {
|
|
padding-left: 2.0em;
|
|
}
|
|
|
|
ul.nesting li.lastline {
|
|
padding-left: 2.1em; /* for the 0.1em border-left in .lastline > .lineconn */
|
|
}
|
|
|
|
li.line {
|
|
border-left: 0.1em solid #6185a0;
|
|
}
|
|
|
|
li.line > span.lineconn, li.lastline > span.lineconn {
|
|
position: absolute;
|
|
height: 0.65em;
|
|
left: 0em;
|
|
width: 1.5em;
|
|
border-bottom: 0.1em solid #6185a0;
|
|
}
|
|
|
|
li.lastline > span.lineconn {
|
|
border-left: 0.1em solid #6185a0;
|
|
}
|
|
|
|
|
|
em.storeref {
|
|
color: #500000;
|
|
position: relative;
|
|
width: 100%;
|
|
}
|
|
|
|
em.storeref:hover {
|
|
background-color: #eeeeee;
|
|
}
|
|
|
|
*.popup {
|
|
display: none;
|
|
/* background: url('http://losser.st-lab.cs.uu.nl/~mbravenb/menuback.png') repeat; */
|
|
background: #ffffcd;
|
|
border: solid #555555 1px;
|
|
position: absolute;
|
|
top: 0em;
|
|
left: 0em;
|
|
margin: 0;
|
|
padding: 0;
|
|
z-index: 100;
|
|
}
|
|
|
|
em.storeref:hover span.popup {
|
|
display: inline;
|
|
width: 40em;
|
|
}
|
|
|
|
|
|
.logTreeToggle {
|
|
text-decoration: none;
|
|
font-family: monospace;
|
|
font-size: larger;
|
|
}
|
|
|
|
.errorLine {
|
|
color: #ff0000;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.warningLine {
|
|
color: darkorange;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.prio3 {
|
|
font-style: italic;
|
|
}
|
|
|
|
code {
|
|
white-space: pre-wrap;
|
|
}
|
|
|
|
.serial {
|
|
color: #56115c;
|
|
}
|
|
|
|
.machine {
|
|
color: #002399;
|
|
font-style: italic;
|
|
}
|
|
|
|
ul.vmScreenshots {
|
|
padding-left: 1em;
|
|
}
|
|
|
|
ul.vmScreenshots li {
|
|
font-family: monospace;
|
|
list-style: square;
|
|
}
|