diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-03-18T14·58+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-03-18T14·58+0000 |
commit | c2fc2c13c981e28ff673221da47cc93a7ed9291f (patch) | |
tree | 2bd9c89b95b35511460350efde6f83a467a7a334 /src/log2xml/logfile.css | |
parent | a784fd5792a5447ad2b7dac63bea2a0b2fc379c3 (diff) |
* Use unordered lists, which is more sensible semantically for
representing tree structures.
Diffstat (limited to 'src/log2xml/logfile.css')
-rw-r--r-- | src/log2xml/logfile.css | 44 |
1 files changed, 21 insertions, 23 deletions
diff --git a/src/log2xml/logfile.css b/src/log2xml/logfile.css index 6ae1b08e2bc5..9b3b56da3071 100644 --- a/src/log2xml/logfile.css +++ b/src/log2xml/logfile.css @@ -4,41 +4,42 @@ body { } -blockquote.body { - padding: 6px 0px; - margin: 0px 0px; +ul.nesting, ul.toplevel { + padding: 0; + margin: 0; } +ul.toplevel { + list-style-type: none; +} -div.line, div.lastline { +ul.nesting li.line, ul.nesting li.lastline { position: relative; + list-style-type: none; } -div.line { - border-left: 0.1em solid #6185a0; +ul.nesting li.line { + padding-left: 1.1em; } -span.lineconn { - position: absolute; - height: 0.5em; - width: 1em; - border-bottom: 0.1em solid #6185a0; +ul.nesting li.lastline { + padding-left: 1.2em; } -div.lastline > span.lineconn { +li.line { border-left: 0.1em solid #6185a0; } -span.linebody { - position: relative; -} - -div.line > span.linebody { - left: 1.1em; +li.line > span.lineconn, li.lastline > span.lineconn { + position: absolute; + height: 0.65em; + left: 0em; + width: 1em; + border-bottom: 0.1em solid #6185a0; } -div.lastline > span.linebody { - left: 1.2em; +li.lastline > span.lineconn { + border-left: 0.1em solid #6185a0; } @@ -49,13 +50,11 @@ em.storeref width: 100%; } - em.storeref:hover { background-color: #eeeeee; } - *.popup { display: none; /* background: url('http://losser.st-lab.cs.uu.nl/~mbravenb/menuback.png') repeat; */ @@ -69,7 +68,6 @@ em.storeref:hover z-index: 100; } - em.storeref:hover span.popup { display: inline; } |