diff options
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 |