2
background-color: black;
7
/* console_body when displayed as a window panel and not the whole app */
8
#console_body.windowpane {
13
z-index: 1; /* Go in front of console_filler */
20
background-color: gray;
21
border: 2px solid black;
24
font-family: monospace;
27
/* If "minimized", console_heading and console_output are hidden */
28
#console_body.minimal #console_heading,
29
#console_body.minimal #console_output,
30
/* If "maximized", the maximize button is hidden */
31
#console_body.maximal .maximize {
34
/* Minimize/maximize button */
36
cursor: pointer; /* Display hand cursor, since this is a button */
41
2
/*border: solid black 1pt;*/
47
9
/*border: solid green 1pt;*/
50
12
font-family: monospace;
53
background-color: black;
57
/* console filler takes up the same space as console_body.windowpane
58
* but its position is relative, not fixed.
59
* This avoids having the console overlap with the bottom 28em of page
61
* It has two classes. "windowpane" turns it on. "minimal" or "maximal"
67
#console_filler.windowpane {
69
z-index: -1; /* Go behind the actual console */
76
#console_filler.maximal {
77
/* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
81
#console_filler.minimal {
82
/* total height of console = 1em + 0.5em + 0.5em