|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
1 |
.console_body { |
|
549
by stevenbird
Changed console from reverse video to normal (white background, black |
2 |
background-color: white; |
|
346
by mattgiuca
consolee/console.css: |
3 |
position: absolute; |
|
549
by stevenbird
Changed console from reverse video to normal (white background, black |
4 |
color: black; |
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
5 |
padding: 0; |
6 |
width: 100%; |
|
|
346
by mattgiuca
consolee/console.css: |
7 |
top: 0; |
8 |
bottom: 0; |
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
9 |
}
|
10 |
/* console_body when displayed as a window panel and not the whole app */
|
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
11 |
.console_body.windowpane { |
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
12 |
position: fixed; |
|
346
by mattgiuca
consolee/console.css: |
13 |
top: auto; /* Do not fix to top */ |
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
14 |
bottom: 0; |
15 |
left: 0; |
|
16 |
right: 0; |
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
17 |
z-index: 1; /* Go in front of console_filler */ |
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
18 |
}
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
19 |
.console_body.windowpane.minimal { |
|
549
by stevenbird
Changed console from reverse video to normal (white background, black |
20 |
border-top: 1px solid black; |
21 |
}
|
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
22 |
.console_body.windowpane .console_body2 { |
|
346
by mattgiuca
consolee/console.css: |
23 |
/* Need some padding in windowpane mode */
|
24 |
/* (In full mode, things are positioned absolutely) */
|
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
25 |
padding: 0.2em; |
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
26 |
}
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
27 |
|
28 |
.console_help_example_body { |
|
29 |
border: 1px solid black; |
|
30 |
border-top: none; |
|
31 |
padding-bottom: 0.5em; |
|
32 |
}
|
|
33 |
||
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
34 |
/* Heading bar */
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
35 |
.console_heading { |
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
36 |
background-color: gray; |
37 |
border: 2px solid black; |
|
38 |
padding: 2px; |
|
39 |
color: black; |
|
40 |
font-family: monospace; |
|
41 |
font-weight: bold; |
|
42 |
}
|
|
43 |
/* If "minimized", console_heading and console_output are hidden */
|
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
44 |
.console_body.minimal .console_heading, |
45 |
.console_body.minimal .console_output, |
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
46 |
/* If "maximized", the maximize button is hidden */
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
47 |
.console_body.maximal .maximize { |
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
48 |
display: none; |
49 |
}
|
|
50 |
/* Minimize/maximize button */
|
|
51 |
.console_button { |
|
52 |
cursor: pointer; /* Display hand cursor, since this is a button */ |
|
53 |
position: absolute; |
|
54 |
right: 0.5em; |
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
55 |
}
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
56 |
.console_output { |
|
346
by mattgiuca
consolee/console.css: |
57 |
/*height: 20em;*/ /* Might be needed for windowpane mode */ |
58 |
/*margin-bottom: 0.5em;*/
|
|
59 |
position: absolute; |
|
|
1294.2.143
by William Grant
Drop the 'Python Console' heading from /console. Looks nicer now. |
60 |
/* Start immediately under the blue header. */
|
61 |
top: 0; |
|
|
346
by mattgiuca
consolee/console.css: |
62 |
/* 2.5em is to accomodate the input bar, and padding either side */
|
63 |
bottom: 2.5em; |
|
|
1100.1.27
by Matt Giuca
Tweak positioning and padding of console. |
64 |
left: 0; |
65 |
right: 0; |
|
|
346
by mattgiuca
consolee/console.css: |
66 |
/* Display scroll bars */
|
67 |
overflow: scroll; |
|
|
382
by mattgiuca
media/console/console.css: CSS hack to remove horizontal scrollbar on some |
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).
|
|
72 |
*/
|
|
73 |
overflow-x: auto; |
|
|
1100.1.27
by Matt Giuca
Tweak positioning and padding of console. |
74 |
padding: 0.5em; |
|
1100.1.28
by Matt Giuca
console: Set font size to 13px. |
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).
|
|
78 |
*/
|
|
79 |
font-size: 13px; |
|
|
346
by mattgiuca
consolee/console.css: |
80 |
}
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
81 |
.console_body.windowpane .console_output { |
|
346
by mattgiuca
consolee/console.css: |
82 |
/* Don't want this absolutely positioned in windowpane mode */
|
83 |
position: static; |
|
|
1100.1.26
by Matt Giuca
Console: Replaced the console-specific (black&grey) header with the standard |
84 |
/* Make it a bit higher up, because the header is thinner in this mode */
|
85 |
top: 2em; |
|
|
346
by mattgiuca
consolee/console.css: |
86 |
/* Give it an explicit height instead */
|
|
708
by mattgiuca
tutorial: Proper escaping of exercise title and pre-placed solutions. |
87 |
height: 15em; |
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
88 |
margin-bottom: 0.5em; |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
89 |
}
|
|
1099.5.4
by William Grant
Round the top corners of the console when it is an opened overlay. |
90 |
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
91 |
.console_help_example .console_output { |
92 |
position: relative; |
|
93 |
top: 0; |
|
94 |
height: auto; |
|
95 |
}
|
|
96 |
||
97 |
.console_body.windowpane.maximal, .console_body.windowpane .console_heading, |
|
98 |
.console_help_example .console_heading { |
|
|
1099.5.4
by William Grant
Round the top corners of the console when it is an opened overlay. |
99 |
-moz-border-radius-topleft: 10px; |
100 |
-moz-border-radius-topright: 10px; |
|
|
1309
by William Grant
Add WebKit and CSS3 border-radius styles for the console. |
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; |
|
|
1099.5.4
by William Grant
Round the top corners of the console when it is an opened overlay. |
105 |
}
|
106 |
||
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
107 |
.console_input { |
|
346
by mattgiuca
consolee/console.css: |
108 |
position: absolute; |
109 |
/* Input bar goes along the bottom. Pad all sides */
|
|
110 |
bottom: 0.5em; |
|
|
1306
by David Coles
Positioning based padding on console app caused scrollbars to appear in IE8 and Webkit based browsers. |
111 |
padding: 0 0.5em; |
|
1299
by William Grant
Clean up the new tablesque console. |
112 |
/* Treat console line as table formatted, so the textbox is dynamic in size. */
|
113 |
display: table; |
|
|
1313
by William Grant
Make the console input prompt look more like the output prompt. |
114 |
font-size: 13px; |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
115 |
}
|
116 |
||
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
117 |
.console_help_example .console_input { |
118 |
position: relative; |
|
119 |
bottom: 0; |
|
120 |
}
|
|
121 |
||
122 |
.console_input > div { |
|
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
123 |
display: table-row; |
124 |
}
|
|
125 |
||
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
126 |
.console_input > div > * { |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
127 |
display: table-cell; |
|
1299
by William Grant
Clean up the new tablesque console. |
128 |
|
129 |
/* Don't let the buttons wrap onto multiple lines.
|
|
130 |
* This forces the textbox to shrink.
|
|
131 |
*/
|
|
132 |
white-space: nowrap; |
|
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
133 |
}
|
134 |
||
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
135 |
.console_input > div > .console_button { |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
136 |
/* If the console button is in a cell, don't float */
|
137 |
position: static !important; |
|
|
1299
by William Grant
Clean up the new tablesque console. |
138 |
padding: 0 0.2em; |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
139 |
}
|
140 |
||
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
141 |
.console_inputCell { |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
142 |
width: 100%; |
143 |
padding-right: 0.5em; |
|
|
346
by mattgiuca
consolee/console.css: |
144 |
}
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
145 |
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
146 |
.console_body.windowpane .console_input { |
|
346
by mattgiuca
consolee/console.css: |
147 |
/* Don't want this absolutely positioned in windowpane mode */
|
148 |
position: static; |
|
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
149 |
}
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
150 |
.console_prompt { |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
151 |
font-family: monospace; |
|
1313
by William Grant
Make the console input prompt look more like the output prompt. |
152 |
font-weight: bold; |
153 |
white-space: pre; |
|
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
154 |
}
|
|
1666
by William Grant
Redo console CSS, and replace the examples on the help page with something more like the modern console that also doesn't break the real console with ID conflicts. |
155 |
.console_inputText { |
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
156 |
font-family: monospace; |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
157 |
width: 100%; |
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
158 |
}
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
159 |
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
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
|
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
163 |
* content.
|
164 |
* It has two classes. "windowpane" turns it on. "minimal" or "maximal"
|
|
165 |
* control its height.
|
|
166 |
*/
|
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
167 |
#console_filler { |
168 |
display: none; |
|
169 |
}
|
|
170 |
#console_filler.windowpane { |
|
171 |
display: block; |
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
172 |
z-index: -1; /* Go behind the actual console */ |
173 |
width: 100%; |
|
174 |
position: relative; |
|
175 |
bottom: 0; |
|
176 |
left: 0; |
|
177 |
right: 0; |
|
178 |
}
|
|
179 |
#console_filler.maximal { |
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
180 |
/* Trial and error is useful to work this out. */
|
181 |
height: 14em; |
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
182 |
}
|
183 |
#console_filler.minimal { |
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
184 |
/* Trial and error is useful to work this out. */
|
|
1589
by William Grant
Double console filler, to something less wildly inaccurate. |
185 |
height: 2em; |
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
186 |
}
|
|
1742
by William Grant
Start a console backend immediately in ConsoleView, and when the overlay is maximised. |
187 |
|
188 |
.console_message { |
|
189 |
color: gray; |
|
190 |
}
|
|
191 |
||
|
618
by drtomc
console: Get rid of all the extra pre elements. |
192 |
*.errorMsg { |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
193 |
color: red; |
194 |
margin-top: 0em; |
|
195 |
margin-bottom: 0em; |
|
196 |
}
|
|
|
654
by mattgiuca
console.js|css: |
197 |
*.inputPrompt { |
198 |
color: #800; /* Deep red */ |
|
199 |
font-weight: bold; |
|
200 |
margin-top: 0em; |
|
201 |
margin-bottom: 0em; |
|
202 |
}
|
|
|
618
by drtomc
console: Get rid of all the extra pre elements. |
203 |
*.inputMsg { |
|
549
by stevenbird
Changed console from reverse video to normal (white background, black |
204 |
color: #404040; |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
205 |
margin-top: 0em; |
206 |
margin-bottom: 0em; |
|
207 |
}
|
|
|
618
by drtomc
console: Get rid of all the extra pre elements. |
208 |
*.outputMsg { |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
209 |
margin-top: 0em; |
210 |
margin-bottom: 0em; |
|
211 |
}
|