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 */
60
#console_body.windowpane #console_output {
61
/* Don't want this absolutely positioned in windowpane mode */
63
/* Give it an explicit height instead */
69
/* Input bar goes along the bottom. Pad all sides */
74
#console_body.windowpane #console_input {
75
/* Don't want this absolutely positioned in windowpane mode */
79
font-family: monospace;
82
background-color: black;
86
/* console filler takes up the same space as console_body.windowpane
87
* but its position is relative, not fixed.
88
* This avoids having the console overlap with the bottom 28em of page
90
* It has two classes. "windowpane" turns it on. "minimal" or "maximal"
96
#console_filler.windowpane {
98
z-index: -1; /* Go behind the actual console */
105
#console_filler.maximal {
106
/* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
110
#console_filler.minimal {
111
/* total height of console = 1em + 0.5em + 0.5em