7 text-decoration: underline;
15 #vt100 #reconnect input {
23 border: 1px solid black;
24 font-family: sans-serif;
47 #vt100 #console, #vt100 #alt_console, #vt100 #cursor, #vt100 #lineheight {
48 font-family: "DejaVu Sans Mono", "Everson Mono", FreeMono, "Andale Mono", "Lucida Console", monospace;
64 #vt100 #cursor.bright {
65 background-color: #e60000;
73 #vt100 #cursor.inactive {
74 border: 1px solid #e60000;
100 background-color: #EEEEEE;
101 border: 1px solid black;
102 font-family: sans-serif;
106 #vt100 #menu .popup ul {
107 list-style-type: none;
113 #vt100 #menu .popup li {
114 padding: 3px 0.5ex 3px 0.5ex;
117 #vt100 #menu .popup li.hover {
118 background-color: #444444;
122 #vt100 #menu .popup li.disabled {
126 #vt100 #menu .popup hr {
127 margin: 0.5ex 0px 0.5ex 0px;
136 #vt100 #scrollable.inverted { color: #ffffff;
137 background-color: #000000; }
139 #vt100 .ansi1 { color: #cd0000; }
140 #vt100 .ansi2 { color: #00cd00; }
141 #vt100 .ansi3 { color: #cdcd00; }
142 #vt100 .ansi4 { color: #0000ee; }
143 #vt100 .ansi5 { color: #cd00cd; }
144 #vt100 .ansi6 { color: #00cdcd; }
145 #vt100 .ansi7 { color: #e5e5e5; }
146 #vt100 .ansi8 { color: #7f7f7f; }
147 #vt100 .ansi9 { color: #ff0000; }
148 #vt100 .ansi10 { color: #00ff00; }
149 #vt100 .ansi11 { color: #e8e800; }
150 #vt100 .ansi12 { color: #5c5cff; }
151 #vt100 .ansi13 { color: #ff00ff; }
152 #vt100 .ansi14 { color: #00ffff; }
153 #vt100 .ansi15 { color: #ffffff; }
155 #vt100 .bgAnsi0 { background-color: #000000; }
156 #vt100 .bgAnsi1 { background-color: #cd0000; }
157 #vt100 .bgAnsi2 { background-color: #00cd00; }
158 #vt100 .bgAnsi3 { background-color: #cdcd00; }
159 #vt100 .bgAnsi4 { background-color: #0000ee; }
160 #vt100 .bgAnsi5 { background-color: #cd00cd; }
161 #vt100 .bgAnsi6 { background-color: #00cdcd; }
162 #vt100 .bgAnsi7 { background-color: #e5e5e5; }
163 #vt100 .bgAnsi8 { background-color: #7f7f7f; }
164 #vt100 .bgAnsi9 { background-color: #ff0000; }
165 #vt100 .bgAnsi10 { background-color: #00ff00; }
166 #vt100 .bgAnsi11 { background-color: #e8e800; }
167 #vt100 .bgAnsi12 { background-color: #5c5cff; }
168 #vt100 .bgAnsi13 { background-color: #ff00ff; }
169 #vt100 .bgAnsi14 { background-color: #00ffff; }
177 #vt100 #reconnect, #vt100 #cursor, #vt100 #menu {
185 #vt100 #console, #vt100 #alt_console {