|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
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 */
|
|
11 |
#console_body.windowpane { |
|
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 |
}
|
|
549
by stevenbird
Changed console from reverse video to normal (white background, black |
19 |
#console_body.windowpane.minimal { |
20 |
border-top: 1px solid black; |
|
21 |
}
|
|
|
346
by mattgiuca
consolee/console.css: |
22 |
#console_body.windowpane #console_body2 { |
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 |
}
|
27 |
/* Heading bar */
|
|
28 |
#console_heading { |
|
29 |
background-color: gray; |
|
30 |
border: 2px solid black; |
|
31 |
padding: 2px; |
|
32 |
color: black; |
|
33 |
font-family: monospace; |
|
34 |
font-weight: bold; |
|
35 |
}
|
|
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 { |
|
41 |
display: none; |
|
42 |
}
|
|
43 |
/* Minimize/maximize button */
|
|
44 |
.console_button { |
|
45 |
cursor: pointer; /* Display hand cursor, since this is a button */ |
|
46 |
position: absolute; |
|
47 |
right: 0.5em; |
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
48 |
}
|
|
328
by mattgiuca
console: Renamed HTML element IDs to prefix "console_". |
49 |
#console_output { |
|
346
by mattgiuca
consolee/console.css: |
50 |
/*height: 20em;*/ /* Might be needed for windowpane mode */ |
51 |
/*margin-bottom: 0.5em;*/
|
|
52 |
position: absolute; |
|
53 |
/* 2em is to accomodate the header bar, and some padding */
|
|
|
1100.1.27
by Matt Giuca
Tweak positioning and padding of console. |
54 |
top: 3.4em; |
|
346
by mattgiuca
consolee/console.css: |
55 |
/* 2.5em is to accomodate the input bar, and padding either side */
|
56 |
bottom: 2.5em; |
|
|
1100.1.27
by Matt Giuca
Tweak positioning and padding of console. |
57 |
left: 0; |
58 |
right: 0; |
|
|
346
by mattgiuca
consolee/console.css: |
59 |
/* Display scroll bars */
|
60 |
overflow: scroll; |
|
|
382
by mattgiuca
media/console/console.css: CSS hack to remove horizontal scrollbar on some |
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).
|
|
65 |
*/
|
|
66 |
overflow-x: auto; |
|
|
1100.1.27
by Matt Giuca
Tweak positioning and padding of console. |
67 |
padding: 0.5em; |
|
1100.1.28
by Matt Giuca
console: Set font size to 13px. |
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).
|
|
71 |
*/
|
|
72 |
font-size: 13px; |
|
|
346
by mattgiuca
consolee/console.css: |
73 |
}
|
74 |
#console_body.windowpane #console_output { |
|
75 |
/* Don't want this absolutely positioned in windowpane mode */
|
|
76 |
position: static; |
|
|
1100.1.26
by Matt Giuca
Console: Replaced the console-specific (black&grey) header with the standard |
77 |
/* Make it a bit higher up, because the header is thinner in this mode */
|
78 |
top: 2em; |
|
|
346
by mattgiuca
consolee/console.css: |
79 |
/* Give it an explicit height instead */
|
|
708
by mattgiuca
tutorial: Proper escaping of exercise title and pre-placed solutions. |
80 |
height: 15em; |
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
81 |
margin-bottom: 0.5em; |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
82 |
}
|
|
1099.5.4
by William Grant
Round the top corners of the console when it is an opened overlay. |
83 |
|
84 |
#console_body.windowpane.maximal, #console_body.windowpane #console_heading { |
|
85 |
-moz-border-radius-topleft: 10px; |
|
86 |
-moz-border-radius-topright: 10px; |
|
|
1309
by William Grant
Add WebKit and CSS3 border-radius styles for the console. |
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; |
|
|
1099.5.4
by William Grant
Round the top corners of the console when it is an opened overlay. |
91 |
}
|
92 |
||
|
328
by mattgiuca
console: Renamed HTML element IDs to prefix "console_". |
93 |
#console_input { |
|
346
by mattgiuca
consolee/console.css: |
94 |
position: absolute; |
95 |
/* Input bar goes along the bottom. Pad all sides */
|
|
96 |
bottom: 0.5em; |
|
|
1306
by David Coles
Positioning based padding on console app caused scrollbars to appear in IE8 and Webkit based browsers. |
97 |
padding: 0 0.5em; |
|
1299
by William Grant
Clean up the new tablesque console. |
98 |
/* Treat console line as table formatted, so the textbox is dynamic in size. */
|
99 |
display: table; |
|
|
1313
by William Grant
Make the console input prompt look more like the output prompt. |
100 |
font-size: 13px; |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
101 |
}
|
102 |
||
|
1299
by William Grant
Clean up the new tablesque console. |
103 |
#console_input > div { |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
104 |
display: table-row; |
105 |
}
|
|
106 |
||
|
1299
by William Grant
Clean up the new tablesque console. |
107 |
#console_input > div > * { |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
108 |
display: table-cell; |
|
1299
by William Grant
Clean up the new tablesque console. |
109 |
|
110 |
/* Don't let the buttons wrap onto multiple lines.
|
|
111 |
* This forces the textbox to shrink.
|
|
112 |
*/
|
|
113 |
white-space: nowrap; |
|
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
114 |
}
|
115 |
||
|
1299
by William Grant
Clean up the new tablesque console. |
116 |
#console_input > div > .console_button { |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
117 |
/* If the console button is in a cell, don't float */
|
118 |
position: static !important; |
|
|
1299
by William Grant
Clean up the new tablesque console. |
119 |
padding: 0 0.2em; |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
120 |
}
|
121 |
||
122 |
#console_inputCell { |
|
123 |
width: 100%; |
|
124 |
padding-right: 0.5em; |
|
|
346
by mattgiuca
consolee/console.css: |
125 |
}
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
126 |
|
|
346
by mattgiuca
consolee/console.css: |
127 |
#console_body.windowpane #console_input { |
128 |
/* Don't want this absolutely positioned in windowpane mode */
|
|
129 |
position: static; |
|
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
130 |
}
|
|
328
by mattgiuca
console: Renamed HTML element IDs to prefix "console_". |
131 |
#console_prompt { |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
132 |
font-family: monospace; |
|
1313
by William Grant
Make the console input prompt look more like the output prompt. |
133 |
font-weight: bold; |
134 |
white-space: pre; |
|
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
135 |
}
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
136 |
#console_inputText { |
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
137 |
font-family: monospace; |
|
1297
by David Coles
Fix the console input UI so that it displays propperly regardless of window width |
138 |
width: 100%; |
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
139 |
}
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
140 |
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
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
|
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
144 |
* content.
|
145 |
* It has two classes. "windowpane" turns it on. "minimal" or "maximal"
|
|
146 |
* control its height.
|
|
147 |
*/
|
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
148 |
#console_filler { |
149 |
display: none; |
|
150 |
}
|
|
151 |
#console_filler.windowpane { |
|
152 |
display: block; |
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
153 |
z-index: -1; /* Go behind the actual console */ |
154 |
width: 100%; |
|
155 |
position: relative; |
|
156 |
bottom: 0; |
|
157 |
left: 0; |
|
158 |
right: 0; |
|
159 |
}
|
|
160 |
#console_filler.maximal { |
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
161 |
/* Trial and error is useful to work this out. */
|
162 |
height: 14em; |
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
163 |
}
|
164 |
#console_filler.minimal { |
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
165 |
/* Trial and error is useful to work this out. */
|
166 |
height: 1em; |
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
167 |
}
|
|
618
by drtomc
console: Get rid of all the extra pre elements. |
168 |
*.errorMsg { |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
169 |
color: red; |
170 |
margin-top: 0em; |
|
171 |
margin-bottom: 0em; |
|
172 |
}
|
|
|
654
by mattgiuca
console.js|css: |
173 |
*.inputPrompt { |
174 |
color: #800; /* Deep red */ |
|
175 |
font-weight: bold; |
|
176 |
margin-top: 0em; |
|
177 |
margin-bottom: 0em; |
|
178 |
}
|
|
|
618
by drtomc
console: Get rid of all the extra pre elements. |
179 |
*.inputMsg { |
|
549
by stevenbird
Changed console from reverse video to normal (white background, black |
180 |
color: #404040; |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
181 |
margin-top: 0em; |
182 |
margin-bottom: 0em; |
|
183 |
}
|
|
|
618
by drtomc
console: Get rid of all the extra pre elements. |
184 |
*.outputMsg { |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
185 |
margin-top: 0em; |
186 |
margin-bottom: 0em; |
|
187 |
}
|