diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-03-18T18·26+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-03-18T18·26+0000 |
commit | 84c617966b8a78b7385aff04f1ac9b3bb7391898 (patch) | |
tree | acbbbef383444230b7e7672a307c72c762ce9739 /src/log2xml/logfile.css | |
parent | c2fc2c13c981e28ff673221da47cc93a7ed9291f (diff) |
* Collapsable trees.
Diffstat (limited to 'src/log2xml/logfile.css')
-rw-r--r-- | src/log2xml/logfile.css | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/src/log2xml/logfile.css b/src/log2xml/logfile.css index 9b3b56da3071..1bdbe3c97bea 100644 --- a/src/log2xml/logfile.css +++ b/src/log2xml/logfile.css @@ -23,7 +23,7 @@ ul.nesting li.line { } ul.nesting li.lastline { - padding-left: 1.2em; + padding-left: 1.2em; // for the 0.1em border-left in .lastline > .lineconn } li.line { @@ -43,15 +43,13 @@ li.lastline > span.lineconn { } -em.storeref -{ +em.storeref { color: #500000; position: relative; width: 100%; } -em.storeref:hover -{ +em.storeref:hover { background-color: #eeeeee; } @@ -71,3 +69,13 @@ em.storeref:hover em.storeref:hover span.popup { display: inline; } + + +.toggle { + text-decoration: none; +} + +.showTree, .hideTree { + font-family: monospace; + font-size: larger; +} \ No newline at end of file |