2
background-color: black;
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 #console_body2 {
20
/* Need some padding in windowpane mode */
21
/* (In full mode, things are positioned absolutely) */
26
background-color: gray;
27
border: 2px solid black;
30
font-family: monospace;
33
/* If "minimized", console_heading and console_output are hidden */
34
#console_body.minimal #console_heading,
35
#console_body.minimal #console_output,
36
/* If "maximized", the maximize button is hidden */
37
#console_body.maximal .maximize {
40
/* Minimize/maximize button */
42
cursor: pointer; /* Display hand cursor, since this is a button */
47
/*height: 20em;*/ /* Might be needed for windowpane mode */
48
/*margin-bottom: 0.5em;*/
50
/* 2em is to accomodate the header bar, and some padding */
52
/* 2.5em is to accomodate the input bar, and padding either side */
54
/* left and right 0.5em are just for horizontal padding */
57
/* Display scroll bars */
59
/* Some browsers support overflow-x and overflow-y. In this case, use
60
* overflow-x: auto to disable the horizontal scroll bar.
61
* (If unsupported this will simply fall back to a harmless but annoying
62
* horizontal scroll bar).
66
#console_body.windowpane #console_output {
67
/* Don't want this absolutely positioned in windowpane mode */
69
/* Give it an explicit height instead */
75
/* Input bar goes along the bottom. Pad all sides */
80
#console_body.windowpane #console_input {
81
/* Don't want this absolutely positioned in windowpane mode */
85
font-family: monospace;
88
background-color: black;
92
/* console filler takes up the same space as console_body.windowpane
93
* but its position is relative, not fixed.
94
* This avoids having the console overlap with the bottom 28em of page
96
* It has two classes. "windowpane" turns it on. "minimal" or "maximal"
102
#console_filler.windowpane {
104
z-index: -1; /* Go behind the actual console */
111
#console_filler.maximal {
112
/* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
116
#console_filler.minimal {
117
/* total height of console = 1em + 0.5em + 0.5em