4266632eb0
In particular use the :last-child selector, which is non-standard but supported by all major browsers.
100 lines
1.6 KiB
CSS
100 lines
1.6 KiB
CSS
.buildlog {
|
|
border: 1px solid black;
|
|
padding: 0.3em;
|
|
}
|
|
|
|
|
|
ul.tree, ul.subtree {
|
|
padding: 0;
|
|
margin: 0;
|
|
list-style-type: none;
|
|
}
|
|
|
|
/* Indent each tree level. */
|
|
li.tree-line {
|
|
position: relative;
|
|
padding-left: 2.0em;
|
|
}
|
|
|
|
li.tree-line:last-child {
|
|
padding-left: 2.1em; /* for the 0.1em border-left in the last child */
|
|
}
|
|
|
|
/* Draw vertical tree lines next to all children except the last. */
|
|
li.tree-line {
|
|
border-left: 0.1em solid #6185a0;
|
|
}
|
|
|
|
li.tree-line:last-child {
|
|
border-left: 0;
|
|
}
|
|
|
|
/* Draw horizontal tree lines to all children. */
|
|
span.tree-conn {
|
|
position: absolute;
|
|
height: 0.65em;
|
|
left: 0em;
|
|
width: 1.5em;
|
|
border-bottom: 0.1em solid #6185a0;
|
|
}
|
|
|
|
/* Draw the vertical tree line to the last child. */
|
|
li.tree-line:last-child > span.tree-conn {
|
|
border-left: 0.1em solid #6185a0;
|
|
}
|
|
|
|
.tree-toggle {
|
|
text-decoration: none;
|
|
font-family: monospace;
|
|
font-size: larger;
|
|
}
|
|
|
|
|
|
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;
|
|
}
|
|
|
|
|
|
span.code {
|
|
white-space: pre-wrap;
|
|
font-family: monospace;
|
|
}
|
|
|
|
.errorLine {
|
|
color: #ff0000;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.warningLine {
|
|
color: darkorange;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.prio3 {
|
|
font-style: italic;
|
|
}
|