body { font-family: sans-serif; background: white; } ul.nesting, ul.toplevel { padding: 0; margin: 0; } ul.toplevel { list-style-type: none; } ul.nesting li.line, ul.nesting li.lastline { position: relative; list-style-type: none; } ul.nesting li.line { padding-left: 1.1em; } ul.nesting li.lastline { padding-left: 1.2em; // 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: 1em; 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; } .toggle { text-decoration: none; } .showTree, .hideTree { font-family: monospace; font-size: larger; } .error { color: #ff0000; font-weight: bold; }