17
17
z-index: 1; /* Go in front of console_filler */
19
.console_body.windowpane.minimal {
19
#console_body.windowpane.minimal {
20
20
border-top: 1px solid black;
22
.console_body.windowpane .console_body2 {
22
#console_body.windowpane #console_body2 {
23
23
/* Need some padding in windowpane mode */
24
24
/* (In full mode, things are positioned absolutely) */
28
.console_help_example_body {
29
border: 1px solid black;
31
padding-bottom: 0.5em;
36
29
background-color: gray;
37
30
border: 2px solid black;
43
36
/* If "minimized", console_heading and console_output are hidden */
44
.console_body.minimal .console_heading,
45
.console_body.minimal .console_output,
37
#console_body.minimal #console_heading,
38
#console_body.minimal #console_output,
46
39
/* If "maximized", the maximize button is hidden */
47
.console_body.maximal .maximize {
40
#console_body.maximal .maximize {
50
43
/* Minimize/maximize button */
53
46
position: absolute;
57
50
/*height: 20em;*/ /* Might be needed for windowpane mode */
58
51
/*margin-bottom: 0.5em;*/
59
52
position: absolute;
60
/* Start immediately under the blue header. */
53
/* 2em is to accomodate the header bar, and some padding */
62
55
/* 2.5em is to accomodate the input bar, and padding either side */
81
.console_body.windowpane .console_output {
74
#console_body.windowpane #console_output {
82
75
/* Don't want this absolutely positioned in windowpane mode */
84
77
/* Make it a bit higher up, because the header is thinner in this mode */
88
81
margin-bottom: 0.5em;
91
.console_help_example .console_output {
97
.console_body.windowpane.maximal, .console_body.windowpane .console_heading,
98
.console_help_example .console_heading {
84
#console_body.windowpane.maximal, #console_body.windowpane #console_heading {
99
85
-moz-border-radius-topleft: 10px;
100
86
-moz-border-radius-topright: 10px;
101
-webkit-border-top-left-radius: 10px;
102
-webkit-border-top-right-radius: 10px;
103
border-top-left-radius: 10px;
104
border-top-right-radius: 10px;
108
90
position: absolute;
109
91
/* Input bar goes along the bottom. Pad all sides */
112
/* Treat console line as table formatted, so the textbox is dynamic in size. */
117
.console_help_example .console_input {
122
.console_input > div {
126
.console_input > div > * {
129
/* Don't let the buttons wrap onto multiple lines.
130
* This forces the textbox to shrink.
135
.console_input > div > .console_button {
136
/* If the console button is in a cell, don't float */
137
position: static !important;
143
padding-right: 0.5em;
146
.console_body.windowpane .console_input {
97
#console_body.windowpane #console_input {
147
98
/* Don't want this absolutely positioned in windowpane mode */
151
102
font-family: monospace;
156
105
font-family: monospace;
160
109
/* console filler takes up the same space as console_body.windowpane