2
background-color: white;
10
/* console_body when displayed as a window panel and not the whole app */
11
#console_body.windowpane {
13
top: auto; /* Do not fix to top */
17
z-index: 1; /* Go in front of console_filler */
19
#console_body.windowpane.minimal {
20
border-top: 1px solid black;
22
#console_body.windowpane #console_body2 {
23
/* Need some padding in windowpane mode */
24
/* (In full mode, things are positioned absolutely) */
29
background-color: gray;
30
border: 2px solid black;
33
font-family: monospace;
36
/* If "minimized", console_heading and console_output are hidden */
37
#console_body.minimal #console_heading,
38
#console_body.minimal #console_output,
39
/* If "maximized", the maximize button is hidden */
40
#console_body.maximal .maximize {
43
/* Minimize/maximize button */
45
cursor: pointer; /* Display hand cursor, since this is a button */
50
/*height: 20em;*/ /* Might be needed for windowpane mode */
51
/*margin-bottom: 0.5em;*/
53
/* 2em is to accomodate the header bar, and some padding */
55
/* 2.5em is to accomodate the input bar, and padding either side */
57
/* left and right 0.5em are just for horizontal padding */
60
/* Display scroll bars */
62
/* Some browsers support overflow-x and overflow-y. In this case, use
63
* overflow-x: auto to disable the horizontal scroll bar.
64
* (If unsupported this will simply fall back to a harmless but annoying
65
* horizontal scroll bar).
69
#console_body.windowpane #console_output {
70
/* Don't want this absolutely positioned in windowpane mode */
72
/* Give it an explicit height instead */
77
#console_body.windowpane.maximal, #console_body.windowpane #console_heading {
78
-moz-border-radius-topleft: 10px;
79
-moz-border-radius-topright: 10px;
84
/* Input bar goes along the bottom. Pad all sides */
90
#console_body.windowpane #console_input {
91
/* Don't want this absolutely positioned in windowpane mode */
95
font-family: monospace;
98
font-family: monospace;
102
/* console filler takes up the same space as console_body.windowpane
103
* but its position is relative, not fixed.
104
* This avoids having the console overlap with the bottom 28em of page
106
* It has two classes. "windowpane" turns it on. "minimal" or "maximal"
107
* control its height.
112
#console_filler.windowpane {
114
z-index: -1; /* Go behind the actual console */
121
#console_filler.maximal {
122
/* Trial and error is useful to work this out. */
125
#console_filler.minimal {
126
/* Trial and error is useful to work this out. */
135
color: #800; /* Deep red */