2
background-color: white;
10
/* console_body when displayed as a window panel and not the whole app */
11
.console_body.windowpane {
13
top: auto; /* Do not fix to top */
17
z-index: 1; /* Go in front of console_filler */
19
.console_body.windowpane.minimal {
20
border-top: 1px solid black;
22
.console_body.windowpane .console_body2 {
23
/* Need some padding in windowpane mode */
24
/* (In full mode, things are positioned absolutely) */
28
.console_help_example_body {
29
border: 1px solid black;
31
padding-bottom: 0.5em;
36
background-color: gray;
37
border: 2px solid black;
40
font-family: monospace;
43
/* If "minimized", console_heading and console_output are hidden */
44
.console_body.minimal .console_heading,
45
.console_body.minimal .console_output,
46
/* If "maximized", the maximize button is hidden */
47
.console_body.maximal .maximize {
50
/* Minimize/maximize button */
52
cursor: pointer; /* Display hand cursor, since this is a button */
57
/*height: 20em;*/ /* Might be needed for windowpane mode */
58
/*margin-bottom: 0.5em;*/
60
/* Start immediately under the blue header. */
62
/* 2.5em is to accomodate the input bar, and padding either side */
66
/* Display scroll bars */
68
/* Some browsers support overflow-x and overflow-y. In this case, use
69
* overflow-x: auto to disable the horizontal scroll bar.
70
* (If unsupported this will simply fall back to a harmless but annoying
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).
81
.console_body.windowpane .console_output {
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 */
86
/* Give it an explicit height instead */
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;
109
/* 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 {
147
/* Don't want this absolutely positioned in windowpane mode */
151
font-family: monospace;
156
font-family: monospace;
160
/* console filler takes up the same space as console_body.windowpane
161
* but its position is relative, not fixed.
162
* This avoids having the console overlap with the bottom 28em of page
164
* It has two classes. "windowpane" turns it on. "minimal" or "maximal"
165
* control its height.
170
#console_filler.windowpane {
172
z-index: -1; /* Go behind the actual console */
179
#console_filler.maximal {
180
/* Trial and error is useful to work this out. */
183
#console_filler.minimal {
184
/* Trial and error is useful to work this out. */
198
color: #800; /* Deep red */
added
removed
ivle/webapp/console/media/console.css
