annotate style-rlg.css @ 54:de01aafd4dd6

termemu.js: don't warn on certain control sequences. Don't print a debug message for some control sequences that technically are unimplemented, but would just put the terminal into the only mode yet implemented. CSI 4l and CSI ?7h are like this.
author John "Elwin" Edwards <elwin@sdf.org>
date Fri, 15 Jun 2012 16:23:57 -0700
parents bef5629f50d8
children 7f3ca16409fe
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
21
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
1 html {
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
2 background-color: #C0FFC0;
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
3 color: #101040;
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
4 }
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
5
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
6 h1 {
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
7 text-align: center;
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
8 }
45
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
9
21
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
10 div.modal {
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
11 clear: both;
82be54381964 RLG-Web client: some cleanup
John "Elwin" Edwards <elwin@sdf.org>
parents:
diff changeset
12 }
45
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
13
48
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
14 div.rfloat {
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
15 float: right;
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
16 clear: right;
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
17 text-align: center;
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
18 margin: 0.2em;
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
19 font-size: 1.2em;
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
20 padding: 0.4em;
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
21 }
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
22
50
bef5629f50d8 RLG-Web client: improve the forms.
John "Elwin" Edwards <elwin@sdf.org>
parents: 48
diff changeset
23 div.formtable {
45
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
24 display: table;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
25 margin: 1em auto;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
26 border: 2px solid #101040;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
27 }
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
28
50
bef5629f50d8 RLG-Web client: improve the forms.
John "Elwin" Edwards <elwin@sdf.org>
parents: 48
diff changeset
29 div.formtable > div {
45
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
30 display: table-row;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
31 }
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
32
50
bef5629f50d8 RLG-Web client: improve the forms.
John "Elwin" Edwards <elwin@sdf.org>
parents: 48
diff changeset
33 div.formtable > div > div {
45
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
34 display: table-cell;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
35 padding: 0.4em 2em;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
36 }
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
37
50
bef5629f50d8 RLG-Web client: improve the forms.
John "Elwin" Edwards <elwin@sdf.org>
parents: 48
diff changeset
38 div.formtable > div > div:first-child {
45
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
39 font-weight: bold;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
40 text-align: center;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
41 }
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
42
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
43 span.ibutton {
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
44 background-color: #D0D0D0;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
45 border: 2px solid #101040;
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
46 border-radius: 0.3em;
48
33bdb3d466e3 RLG-Web client: visual improvements.
John "Elwin" Edwards <elwin@sdf.org>
parents: 45
diff changeset
47 padding: 0.2em 0.5em;
45
1bbd0e76ba92 RLG-Web: put the game options into a table.
John "Elwin" Edwards <elwin@sdf.org>
parents: 21
diff changeset
48 }
50
bef5629f50d8 RLG-Web client: improve the forms.
John "Elwin" Edwards <elwin@sdf.org>
parents: 48
diff changeset
49
bef5629f50d8 RLG-Web client: improve the forms.
John "Elwin" Edwards <elwin@sdf.org>
parents: 48
diff changeset
50 div#register div.formtable span.ibutton {
bef5629f50d8 RLG-Web client: improve the forms.
John "Elwin" Edwards <elwin@sdf.org>
parents: 48
diff changeset
51 font-weight: bold;
bef5629f50d8 RLG-Web client: improve the forms.
John "Elwin" Edwards <elwin@sdf.org>
parents: 48
diff changeset
52 }