at 15.09-beta 1.8 kB view raw
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}