1html, body {
2 background-color: #C0C0C0;
3 font-family: Arial, Helvetica, sans-serif;
4 text-align: justify;
5}
6.tt {
7 font-family: monospace;
8}
9.license .ref {
10 position: relative;
11}
12.license .hidden {
13 visibility: hidden;
14 position: absolute;
15 bottom: 0em;
16 /*white-space: pre;*/
17 background-color: #D0D0D0;
18 border: solid 1px white;
19 padding: 2px;
20 margin-left: 15%;
21 margin-right: 15%;
22}
23.license:hover .hidden {
24 /*display: block;*/
25 visibility: visible;
26}
27.node {
28 position: relative;
29}
30.sub {
31 padding-left: 1.5em;
32 border-left: solid 1px #E0E0E0;
33}
34.head {
35 height: 1em;
36 white-space: nowrap;
37}
38.node:hover > .head, .node.hover > .head {
39 color: darkblue;
40 font-weight: bold;
41}
42.node:hover > .head:hover, .node.hover > .head.hover {
43 color: blue;
44}
45.node.collapsed {
46 font-style: italic;
47}
48.node.collapsed > .sub {
49 display: none;
50}
51.node.collapsed.hover > .sub {
52 display: block;
53}
54.value {
55 display: none;
56 position: absolute;
57 z-index: 2;
58 top: 1.2em;
59 left: 0;
60 background-color: #D0D0D0;
61 border: solid 1px white;
62 padding: 2px;
63}
64.head:hover + .value, .head.hover + .value {
65 display: block;
66}
67.preview {
68 margin-left: 1em;
69 color: #505050;
70 font-weight: normal;
71}
72#tree {
73 font-family: monospace;
74}
75#dump {
76 z-index: 1;
77 background-color: #C0C0C0;
78 border: solid 1px #E0E0E0;
79 font-family: monospace;
80 white-space: pre;
81 padding: 2px;
82}
83#dump .tag { color: blue; }
84#dump .dlen { color: darkcyan; }
85#dump .ulen { color: darkgreen; }
86#dump .intro { color: blue; }
87#dump .outro { color: darkgreen; }
88#dump .skip { color: #666666; }
89#dump .hexCurrent { background-color: #808080; }
90#dump .hexCurrent .hex { background-color: #A0A0A0; }
91#file { display: none; }