comparison tty.css @ 21:82be54381964

RLG-Web client: some cleanup Separate RLG-specific CSS into its own file, fix some typos.
author John "Elwin" Edwards <elwin@sdf.org>
date Wed, 23 May 2012 07:46:08 -0700
parents 188bbd857124
children a497ecd116d9
comparison
equal deleted inserted replaced
20:5f785e1d5cca 21:82be54381964
4 margin: 0.2em; 4 margin: 0.2em;
5 } 5 }
6 img#bell { 6 img#bell {
7 visibility: hidden; 7 visibility: hidden;
8 margin-left: 2em; 8 margin-left: 2em;
9 }
10 div.modal {
11 clear: both;
12 } 9 }
13 div.keyrow { 10 div.keyrow {
14 font-size: 1.2em; 11 font-size: 1.2em;
15 } 12 }
16 div.keyrow > div:first-child { 13 div.keyrow > div:first-child {
21 height: 2em; 18 height: 2em;
22 float: left; 19 float: left;
23 border: 2px solid black; 20 border: 2px solid black;
24 margin: 0.2em; 21 margin: 0.2em;
25 text-align: center; 22 text-align: center;
23 background-color: white;
24 color: black;
26 } 25 }
27 div.keysel { 26 div.keysel {
28 width: 2em; 27 width: 2em;
29 height: 2em; 28 height: 2em;
30 float: left; 29 float: left;
31 border: 2px solid black; 30 border: 2px solid black;
32 margin: 0.2em; 31 margin: 0.2em;
33 text-align: center; 32 text-align: center;
34 background-color: #C0FFC0; 33 background-color: #A0EEA0;
34 color: black;
35 } 35 }
36 div#shiftkey { 36 div#shiftkey {
37 width: 4em; 37 width: 4em;
38 } 38 }
39 div#ctrlkey { 39 div#ctrlkey {
85 width: 100%; 85 width: 100%;
86 height: 10em; 86 height: 10em;
87 overflow: scroll; 87 overflow: scroll;
88 white-space: pre; 88 white-space: pre;
89 clear: both; 89 clear: both;
90 background-color: white;
91 color: black;
90 } 92 }
91 div#debug > div { 93 div#debug > div {
92 font-family: monospace; 94 font-family: monospace;
93 } 95 }