|
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; |
|
87 |
}
|
|
88 |
||
|
328
by mattgiuca
console: Renamed HTML element IDs to prefix "console_". |
89 |
#console_input { |
|
346
by mattgiuca
consolee/console.css: |
90 |
position: absolute; |
91 |
/* Input bar goes along the bottom. Pad all sides */
|
|
92 |
left: 0.5em; |
|
93 |
right: 0.5em; |
|
94 |
bottom: 0.5em; |
|
95 |
}
|
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
96 |
|
|
346
by mattgiuca
consolee/console.css: |
97 |
#console_body.windowpane #console_input { |
98 |
/* Don't want this absolutely positioned in windowpane mode */
|
|
99 |
position: static; |
|
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
100 |
}
|
|
328
by mattgiuca
console: Renamed HTML element IDs to prefix "console_". |
101 |
#console_prompt { |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
102 |
font-family: monospace; |
103 |
}
|
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
104 |
#console_inputText { |
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
105 |
font-family: monospace; |
|
640
by drtomc
console: A bit of restyling so that the input box, the interrupt button and |
106 |
width: 75%; |
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
107 |
}
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
108 |
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
109 |
/* console filler takes up the same space as console_body.windowpane
|
110 |
* but its position is relative, not fixed.
|
|
111 |
* 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 |
112 |
* content.
|
113 |
* It has two classes. "windowpane" turns it on. "minimal" or "maximal"
|
|
114 |
* control its height.
|
|
115 |
*/
|
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
116 |
#console_filler { |
117 |
display: none; |
|
118 |
}
|
|
119 |
#console_filler.windowpane { |
|
120 |
display: block; |
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
121 |
z-index: -1; /* Go behind the actual console */ |
122 |
width: 100%; |
|
123 |
position: relative; |
|
124 |
bottom: 0; |
|
125 |
left: 0; |
|
126 |
right: 0; |
|
127 |
}
|
|
128 |
#console_filler.maximal { |
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
129 |
/* Trial and error is useful to work this out. */
|
130 |
height: 14em; |
|
|
332
by mattgiuca
console plugin: Now presents minimize/maximize buttons, allowing itself to be |
131 |
}
|
132 |
#console_filler.minimal { |
|
|
1099.5.2
by William Grant
Shrink, monospace and nativify (does that even make sense?) bits of the console |
133 |
/* Trial and error is useful to work this out. */
|
134 |
height: 1em; |
|
|
331
by mattgiuca
Console: Configured console to display properly as a "floating" window in the |
135 |
}
|
|
618
by drtomc
console: Get rid of all the extra pre elements. |
136 |
*.errorMsg { |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
137 |
color: red; |
138 |
margin-top: 0em; |
|
139 |
margin-bottom: 0em; |
|
140 |
}
|
|
|
654
by mattgiuca
console.js|css: |
141 |
*.inputPrompt { |
142 |
color: #800; /* Deep red */ |
|
143 |
font-weight: bold; |
|
144 |
margin-top: 0em; |
|
145 |
margin-bottom: 0em; |
|
146 |
}
|
|
|
618
by drtomc
console: Get rid of all the extra pre elements. |
147 |
*.inputMsg { |
|
549
by stevenbird
Changed console from reverse video to normal (white background, black |
148 |
color: #404040; |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
149 |
margin-top: 0em; |
150 |
margin-bottom: 0em; |
|
151 |
}
|
|
|
618
by drtomc
console: Get rid of all the extra pre elements. |
152 |
*.outputMsg { |
|
276
by mattgiuca
Console now runs inside IVLE (without requiring an IFRAME). The separate |
153 |
margin-top: 0em; |
154 |
margin-bottom: 0em; |
|
155 |
}
|