From c2fc2c13c981e28ff673221da47cc93a7ed9291f Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Thu, 18 Mar 2004 14:58:16 +0000 Subject: [PATCH] * Use unordered lists, which is more sensible semantically for representing tree structures. --- src/log2xml/log2html.xsl | 49 ++++++++++++++++++---------------------- src/log2xml/logfile.css | 44 +++++++++++++++++------------------- 2 files changed, 43 insertions(+), 50 deletions(-) diff --git a/src/log2xml/log2html.xsl b/src/log2xml/log2html.xsl index 4a9a6f452..cb56a3cb4 100644 --- a/src/log2xml/log2html.xsl +++ b/src/log2xml/log2html.xsl @@ -1,7 +1,9 @@ - + + + @@ -9,37 +11,30 @@ Log File - +
    + +
  • + +
    • +     +
-
-
- -
-
- - -
- - - - -
- - -
- - - - -
- - -
-
+ +
    + + linelastline +
  • + + + + +
    • +     +
diff --git a/src/log2xml/logfile.css b/src/log2xml/logfile.css index 6ae1b08e2..9b3b56da3 100644 --- a/src/log2xml/logfile.css +++ b/src/log2xml/logfile.css @@ -4,43 +4,44 @@ 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 { +ul.nesting li.line { + padding-left: 1.1em; +} + +ul.nesting li.lastline { + padding-left: 1.2em; +} + +li.line { border-left: 0.1em solid #6185a0; } -span.lineconn { +li.line > span.lineconn, li.lastline > span.lineconn { position: absolute; - height: 0.5em; + height: 0.65em; + left: 0em; width: 1em; border-bottom: 0.1em solid #6185a0; } -div.lastline > span.lineconn { +li.lastline > span.lineconn { border-left: 0.1em solid #6185a0; } -span.linebody { - position: relative; -} - -div.line > span.linebody { - left: 1.1em; -} - -div.lastline > span.linebody { - left: 1.2em; -} - em.storeref { @@ -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; }