lapo.it
1:root {
2 --main-bg-color: #C0C0C0;
3 --main-text-color: #000000;
4 --headline-text-color: #8be9fd;
5 --button-border-color: #767676;
6 --button-bg-color: #efefef;
7 --button-bghover-color: #e5e5e5;
8 --input-border-color: #767676;
9 --input-bg-color: #ffffff;
10 --link-color: darkblue;
11 --link-hover-color: blue;
12 --header-bg-color: #999999;
13 --page-bg-color: #6e6e6e;
14 --license-bg-color: #D0D0D0;
15 --license-border-color: white;
16 --sub-border-color: #E0E0E0;
17 --preview-bg-color: #808080;
18 --preview-border-color: #505050;
19 --dump-bg-color: #C0C0C0;
20 --dump-border-color: #E0E0E0;
21}
22html, body {
23 background-color: var(--page-bg-color);
24 color: var(--main-text-color);
25 font-family: Arial, Helvetica, sans-serif;
26 text-align: justify;
27 font-size: 10pt;
28 margin: 0px;
29}
30input,
31textarea {
32 background-color: var(--input-bg-color);
33 color: var(--main-text-color);
34 border: 1px solid var(--input-border-color);
35}
36input[type="button"] {
37 background-color: var(--button-bg-color);
38 color: var(--main-text-color);
39 border: 1px solid var(--button-border-color);
40}
41input[type="button"]:hover {
42 background-color: var(--button-bghover-color);
43}
44::file-selector-button,
45::-webkit-file-upload-button {
46 background-color: var(--button-bg-color);
47 color: var(--main-text-color);
48 border: 0px;
49 border-right: 1px solid var(--button-border-color);
50}
51::-webkit-file-upload-button:hover {
52 background-color: var(--button-bghover-color);
53}
54::file-selector-button:hover {
55 background-color: var(--button-bghover-color);
56}
57select {
58 background-color: var(--input-bg-color);
59 color: var(--main-text-color);
60 border: 1px solid var(--input-border-color);
61
62}
63a {
64 color: var(--link-color);
65}
66header {
67 background-color: var(--header-bg-color);
68 padding: 8px;
69 padding-left: 16px;
70}
71#main-page {
72 background-color: var(--main-bg-color);
73 border: 0px;
74 padding: 15px;
75}
76#help {
77 margin: 0px;
78 padding: 4px;
79 padding-left: 20px;
80}
81.tt {
82 font-family: monospace;
83}
84.license .ref {
85 position: relative;
86}
87.license .hidden {
88 visibility: hidden;
89 position: absolute;
90 bottom: 0em;
91 /*white-space: pre;*/
92 background-color: var(--license-bg-color);
93 border: solid 1px var(--license-border-color);
94 padding: 2px;
95 margin-left: 15%;
96 margin-right: 15%;
97}
98.license:hover .hidden {
99 /*display: block;*/
100 visibility: visible;
101}
102.node {
103 position: relative;
104}
105.sub {
106 padding-left: 1.5em;
107 border-left: solid 1px var(--sub-border-color);
108}
109.head {
110 height: 1em;
111 white-space: nowrap;
112}
113.node:hover > .head, .node.hover > .head {
114 color: var(--link-color);
115 font-weight: bold;
116}
117.node:hover > .head:hover, .node.hover > .head.hover {
118 color: var(--link-hover-color);
119}
120.node.collapsed {
121 font-style: italic;
122}
123.node.collapsed > .sub {
124 display: none;
125}
126.node.collapsed.hover > .sub {
127 display: block;
128}
129.value {
130 display: none;
131 position: absolute;
132 z-index: 2;
133 top: 1.2em;
134 left: 0;
135 background-color: var(--button-bg-color);
136 border: solid 1px var(--button-border-color);
137 padding: 2px;
138}
139.head:hover + .value, .head.hover + .value {
140 display: block;
141}
142.preview {
143 margin-left: 1em;
144 color: var(--preview-border-color);
145 font-weight: normal;
146}
147.preview > .oid {
148 margin-left: 1em;
149 color: var(--preview-bg-color);
150 font-weight: normal;
151}
152.spaces {
153 font-size: 0px;
154}
155#tree {
156 font-family: monospace;
157}
158#tree > p {
159 font-family: Arial, Helvetica, sans-serif;
160}
161#dump {
162 z-index: 1;
163 background-color: var(--dump-bg-color);
164 border: solid 1px var(--dump-border-color);
165 font-family: monospace;
166 white-space: pre;
167 padding: 5px;
168}
169#dump .tag { color: blue; }
170#dump .dlen { color: darkcyan; }
171#dump .ulen { color: darkgreen; }
172#dump .intro { color: blue; }
173#dump .outro { color: darkgreen; }
174#dump .skip { color: #666666; background-color: #C0C0C0; }
175#dump .hexCurrent { background-color: #808080; }
176#dump .hexCurrent .hex { background-color: #A0A0A0; }
177#dump .hexCurrent .dlen { color: #004040; }
178#file { display: none; }