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) */
29
background-color: gray;
30
border: 2px solid black;
33
font-family: monospace;
36
/* If "minimized", console_heading and console_output are hidden */
37
#console_body.minimal #console_heading,
38
#console_body.minimal #console_output,
39
/* If "maximized", the maximize button is hidden */
40
#console_body.maximal .maximize {
43
/* Minimize/maximize button */
45
cursor: pointer; /* Display hand cursor, since this is a button */
50
/*height: 20em;*/ /* Might be needed for windowpane mode */
51
/*margin-bottom: 0.5em;*/
53
/* Start immediately under the blue header. */
55
/* 2.5em is to accomodate the input bar, and padding either side */
59
/* Display scroll bars */
61
/* Some browsers support overflow-x and overflow-y. In this case, use
62
* overflow-x: auto to disable the horizontal scroll bar.
63
* (If unsupported this will simply fall back to a harmless but annoying
64
* 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
#console_body.windowpane #console_output {
75
/* 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
/* Give it an explicit height instead */
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;
95
/* 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
#console_body.windowpane #console_input {
128
/* Don't want this absolutely positioned in windowpane mode */
132
font-family: monospace;
137
font-family: monospace;
141
/* console filler takes up the same space as console_body.windowpane
142
* but its position is relative, not fixed.
143
* This avoids having the console overlap with the bottom 28em of page
145
* It has two classes. "windowpane" turns it on. "minimal" or "maximal"
146
* control its height.
151
#console_filler.windowpane {
153
z-index: -1; /* Go behind the actual console */
160
#console_filler.maximal {
161
/* Trial and error is useful to work this out. */
164
#console_filler.minimal {
165
/* Trial and error is useful to work this out. */
174
color: #800; /* Deep red */
added
removed
ivle/webapp/console/media/console.css
