50
51
/*height: 20em;*/ /* Might be needed for windowpane mode */
51
52
/*margin-bottom: 0.5em;*/
52
53
position: absolute;
53
/* Start immediately under the blue header. */
54
/* 2em is to accomodate the header bar, and some padding */
55
56
/* 2.5em is to accomodate the input bar, and padding either side */
58
/* left and right 0.5em are just for horizontal padding */
59
61
/* Display scroll bars */
61
63
/* Some browsers support overflow-x and overflow-y. In this case, use
64
66
* horizontal scroll bar).
68
/* On some displays, monospace font is much smaller than everything else.
69
* We just set the console font to 13px to appear a bit bigger (this is
70
* the same size as the editor's font).
74
70
#console_body.windowpane #console_output {
75
71
/* Don't want this absolutely positioned in windowpane mode */
77
/* Make it a bit higher up, because the header is thinner in this mode */
79
73
/* Give it an explicit height instead */
81
75
margin-bottom: 0.5em;
84
#console_body.windowpane.maximal, #console_body.windowpane #console_heading {
85
-moz-border-radius-topleft: 10px;
86
-moz-border-radius-topright: 10px;
87
-webkit-border-top-left-radius: 10px;
88
-webkit-border-top-right-radius: 10px;
89
border-top-left-radius: 10px;
90
border-top-right-radius: 10px;
94
78
position: absolute;
95
79
/* Input bar goes along the bottom. Pad all sides */
98
/* Treat console line as table formatted, so the textbox is dynamic in size. */
103
#console_input > div {
107
#console_input > div > * {
110
/* Don't let the buttons wrap onto multiple lines.
111
* This forces the textbox to shrink.
116
#console_input > div > .console_button {
117
/* If the console button is in a cell, don't float */
118
position: static !important;
124
padding-right: 0.5em;
127
84
#console_body.windowpane #console_input {
128
85
/* Don't want this absolutely positioned in windowpane mode */
132
89
font-family: monospace;
136
91
#console_inputText {
137
font-family: monospace;
92
background-color: white;
97
#console_inputText.disabled {
98
background-color: #aaa;
141
100
/* console filler takes up the same space as console_body.windowpane
142
101
* but its position is relative, not fixed.
143
102
* This avoids having the console overlap with the bottom 28em of page
160
119
#console_filler.maximal {
161
/* Trial and error is useful to work this out. */
120
/* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
164
124
#console_filler.minimal {
165
/* Trial and error is useful to work this out. */
125
/* total height of console = 1em + 0.5em + 0.5em