18
17
z-index: 1; /* Go in front of console_filler */
20
#console_body.windowpane.minimal {
19
.console_body.windowpane.minimal {
21
20
border-top: 1px solid black;
23
#console_body.windowpane #console_body2 {
22
.console_body.windowpane .console_body2 {
24
23
/* Need some padding in windowpane mode */
25
24
/* (In full mode, things are positioned absolutely) */
28
.console_help_example_body {
29
border: 1px solid black;
31
padding-bottom: 0.5em;
30
36
background-color: gray;
31
37
border: 2px solid black;
37
43
/* If "minimized", console_heading and console_output are hidden */
38
#console_body.minimal #console_heading,
39
#console_body.minimal #console_output,
44
.console_body.minimal .console_heading,
45
.console_body.minimal .console_output,
40
46
/* If "maximized", the maximize button is hidden */
41
#console_body.maximal .maximize {
47
.console_body.maximal .maximize {
44
50
/* Minimize/maximize button */
47
53
position: absolute;
51
57
/*height: 20em;*/ /* Might be needed for windowpane mode */
52
58
/*margin-bottom: 0.5em;*/
53
59
position: absolute;
54
/* 2em is to accomodate the header bar, and some padding */
60
/* Start immediately under the blue header. */
56
62
/* 2.5em is to accomodate the input bar, and padding either side */
58
/* left and right 0.5em are just for horizontal padding */
61
66
/* Display scroll bars */
63
68
/* Some browsers support overflow-x and overflow-y. In this case, use
66
71
* horizontal scroll bar).
75
/* On some displays, monospace font is much smaller than everything else.
76
* We just set the console font to 13px to appear a bit bigger (this is
77
* the same size as the editor's font).
70
#console_body.windowpane #console_output {
81
.console_body.windowpane .console_output {
71
82
/* Don't want this absolutely positioned in windowpane mode */
84
/* Make it a bit higher up, because the header is thinner in this mode */
73
86
/* Give it an explicit height instead */
75
88
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 {
99
-moz-border-radius-topleft: 10px;
100
-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;
78
108
position: absolute;
79
109
/* Input bar goes along the bottom. Pad all sides */
84
#console_body.windowpane #console_input {
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 {
85
147
/* Don't want this absolutely positioned in windowpane mode */
89
font-family: monospace;
92
background-color: white;
97
#console_inputText.disabled {
98
background-color: #aaa;
151
font-family: monospace;
156
font-family: monospace;
100
160
/* console filler takes up the same space as console_body.windowpane
101
161
* but its position is relative, not fixed.
102
162
* This avoids having the console overlap with the bottom 28em of page
119
179
#console_filler.maximal {
120
/* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
180
/* Trial and error is useful to work this out. */
124
183
#console_filler.minimal {
125
/* total height of console = 1em + 0.5em + 0.5em
184
/* Trial and error is useful to work this out. */