51
52
/*margin-bottom: 0.5em;*/
52
53
position: absolute;
53
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;
90
78
position: absolute;
91
79
/* Input bar goes along the bottom. Pad all sides */
95
/* Treat console line as table formated */
107
.tcell .console_button {
108
/* If the console button is in a cell, don't float */
109
position: static !important;
114
padding-right: 0.5em;
117
84
#console_body.windowpane #console_input {
118
85
/* Don't want this absolutely positioned in windowpane mode */
122
89
font-family: monospace;
125
91
#console_inputText {
126
font-family: monospace;
92
background-color: white;
97
#console_inputText.disabled {
98
background-color: #aaa;
130
100
/* console filler takes up the same space as console_body.windowpane
131
101
* but its position is relative, not fixed.
132
102
* This avoids having the console overlap with the bottom 28em of page
149
119
#console_filler.maximal {
150
/* Trial and error is useful to work this out. */
120
/* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
153
124
#console_filler.minimal {
154
/* Trial and error is useful to work this out. */
125
/* total height of console = 1em + 0.5em + 0.5em