← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to ivle/webapp/console/media/console.css

  • Committer: Matt Giuca
  • Date: 2010-07-27 06:53:03 UTC
  • Revision ID: matt.giuca@gmail.com-20100727065303-gs7fn3gc3ccaqfux
https://launchpad.net/bugs/610330
Changed database schema 'semester' table. 'year' and 'semester' fields now allow any length, not just 4 or 1 respectively. (LP: #610330).

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.css
1
 
#console_body {
2
 
    background-color: black;
3
 
    color: white;
 
1
.console_body {
 
2
    background-color: white;
 
3
    position: absolute;
 
4
    color: black;
4
5
    padding: 0;
5
6
    width: 100%;
 
7
    top: 0;
 
8
    bottom: 0;
6
9
}
7
10
/* console_body when displayed as a window panel and not the whole app */
8
 
#console_body.windowpane {
 
11
.console_body.windowpane {
9
12
    position: fixed;
 
13
    top: auto;      /* Do not fix to top */
10
14
    bottom: 0;
11
15
    left: 0;
12
16
    right: 0;
13
17
    z-index: 1;     /* Go in front of console_filler */
14
18
}
15
 
#console_body2 {
16
 
    padding: 0.5em;
17
 
}
 
19
.console_body.windowpane.minimal {
 
20
    border-top: 1px solid black;
 
21
}
 
22
.console_body.windowpane .console_body2 {
 
23
    /* Need some padding in windowpane mode */
 
24
    /* (In full mode, things are positioned absolutely) */
 
25
    padding: 0.2em;
 
26
}
 
27
 
 
28
.console_help_example_body {
 
29
    border: 1px solid black;
 
30
    border-top: none;
 
31
    padding-bottom: 0.5em;
 
32
}
 
33
 
18
34
/* Heading bar */
19
 
#console_heading {
 
35
.console_heading {
20
36
    background-color: gray;
21
37
    border: 2px solid black;
22
38
    padding: 2px;
25
41
    font-weight: bold;
26
42
}
27
43
/* If "minimized", console_heading and console_output are hidden */
28
 
#console_body.minimal #console_heading,
29
 
#console_body.minimal #console_output,
 
44
.console_body.minimal .console_heading,
 
45
.console_body.minimal .console_output,
30
46
/* If "maximized", the maximize button is hidden */
31
 
#console_body.maximal .maximize {
 
47
.console_body.maximal .maximize {
32
48
    display: none;
33
49
}
34
50
/* Minimize/maximize button */
37
53
    position: absolute;
38
54
    right: 0.5em;
39
55
}
40
 
#console_output {
41
 
    /*border: solid black 1pt;*/
42
 
    height: 20em;
 
56
.console_output {
 
57
    /*height: 20em;*/       /* Might be needed for windowpane mode */
 
58
    /*margin-bottom: 0.5em;*/
 
59
    position: absolute;
 
60
    /* Start immediately under the blue header. */
 
61
    top: 0;
 
62
    /* 2.5em is to accomodate the input bar, and padding either side */
 
63
    bottom: 2.5em;
 
64
    left: 0;
 
65
    right: 0;
 
66
    /* Display scroll bars */
43
67
    overflow: scroll;
 
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;
 
74
    padding: 0.5em;
 
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;
 
80
}
 
81
.console_body.windowpane .console_output {
 
82
    /* Don't want this absolutely positioned in windowpane mode */
 
83
    position: static;
 
84
    /* Make it a bit higher up, because the header is thinner in this mode */
 
85
    top: 2em;
 
86
    /* Give it an explicit height instead */
 
87
    height: 15em;
44
88
    margin-bottom: 0.5em;
45
89
}
46
 
#console_input {
47
 
    /*border: solid green 1pt;*/
48
 
}
49
 
#console_prompt {
50
 
    font-family: monospace;
51
 
}
52
 
#console_inputText {
53
 
    background-color: black;
54
 
    color: white;
55
 
    width: 90%;
56
 
}
 
90
 
 
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 {
 
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;
 
105
}
 
106
 
 
107
.console_input {
 
108
    position: absolute;
 
109
    /* Input bar goes along the bottom. Pad all sides */
 
110
    bottom: 0.5em;
 
111
    padding: 0 0.5em;
 
112
    /* Treat console line as table formatted, so the textbox is dynamic in size. */
 
113
    display: table;
 
114
    font-size: 13px;
 
115
}
 
116
 
 
117
.console_help_example .console_input {
 
118
    position: relative;
 
119
    bottom: 0;
 
120
}
 
121
 
 
122
.console_input > div {
 
123
    display: table-row;
 
124
}
 
125
 
 
126
.console_input > div > * {
 
127
    display: table-cell;
 
128
 
 
129
    /* Don't let the buttons wrap onto multiple lines.
 
130
     * This forces the textbox to shrink.
 
131
     */
 
132
    white-space: nowrap;
 
133
}
 
134
 
 
135
.console_input > div > .console_button {
 
136
    /* If the console button is in a cell, don't float */
 
137
    position: static !important;
 
138
    padding: 0 0.2em;
 
139
}
 
140
 
 
141
.console_inputCell {
 
142
    width: 100%;
 
143
    padding-right: 0.5em;
 
144
}
 
145
 
 
146
.console_body.windowpane .console_input {
 
147
    /* Don't want this absolutely positioned in windowpane mode */
 
148
    position: static;
 
149
}
 
150
.console_prompt {
 
151
    font-family: monospace;
 
152
    font-weight: bold;
 
153
    white-space: pre;
 
154
}
 
155
.console_inputText {
 
156
    font-family: monospace;
 
157
    width: 100%;
 
158
}
 
159
 
57
160
/* console filler takes up the same space as console_body.windowpane
58
161
 * but its position is relative, not fixed.
59
162
 * This avoids having the console overlap with the bottom 28em of page
74
177
    right: 0;
75
178
}
76
179
#console_filler.maximal {
77
 
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
78
 
     */
79
 
    height: 24em;
 
180
    /* Trial and error is useful to work this out. */
 
181
    height: 14em;
80
182
}
81
183
#console_filler.minimal {
82
 
    /* total height of console = 1em + 0.5em + 0.5em
83
 
     */
 
184
    /* Trial and error is useful to work this out. */
84
185
    height: 2em;
85
186
}
86
 
pre.errorMsg {
 
187
 
 
188
.console_message {
 
189
    color: gray;
 
190
}
 
191
 
 
192
*.errorMsg {
87
193
    color: red;
88
194
    margin-top: 0em;
89
195
    margin-bottom: 0em;
90
196
}
91
 
pre.inputMsg {
92
 
    color: gray;
93
 
    margin-top: 0em;
94
 
    margin-bottom: 0em;
95
 
}
96
 
pre.outputMsg {
 
197
*.inputPrompt {
 
198
    color: #800;    /* Deep red */
 
199
    font-weight: bold;
 
200
    margin-top: 0em;
 
201
    margin-bottom: 0em;
 
202
}
 
203
*.inputMsg {
 
204
    color: #404040;
 
205
    margin-top: 0em;
 
206
    margin-bottom: 0em;
 
207
}
 
208
*.outputMsg {
97
209
    margin-top: 0em;
98
210
    margin-bottom: 0em;
99
211
}