aboutsummaryrefslogtreecommitdiff
path: root/src/nix-log2xml/logfile.css
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2016-04-25 15:30:06 +0200
committerEelco Dolstra <eelco.dolstra@logicblox.com>2016-04-25 19:18:45 +0200
commit697e0b3a6fbfa3f0b1da29b0cedb4a2b9ee37520 (patch)
treeb48ca289c0cfd44dbfae09bc1b0622bbf2716402 /src/nix-log2xml/logfile.css
parent41633f9f73f402714dccb4a7f379441ee8272619 (diff)
Remove nix-log2xml
Diffstat (limited to 'src/nix-log2xml/logfile.css')
-rw-r--r--src/nix-log2xml/logfile.css86
1 files changed, 0 insertions, 86 deletions
diff --git a/src/nix-log2xml/logfile.css b/src/nix-log2xml/logfile.css
deleted file mode 100644
index ed390d64a..000000000
--- a/src/nix-log2xml/logfile.css
+++ /dev/null
@@ -1,86 +0,0 @@
-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;
-} \ No newline at end of file