← 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-20 12:16:51 UTC
  • mto: This revision was merged to the branch mainline in revision 1818.
  • Revision ID: matt.giuca@gmail.com-20100720121651-rgeeztj6jn1tsrou
Submit page: No longer disables the radio button for closed projects.
Displays them in red rather than grey (grey implies disabled, red implies caution).
Added notice that the deadline has passed, but submission can still be done with a penalty.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.css
1
 
#console_body {
 
1
.console_body {
2
2
    background-color: white;
3
3
    position: absolute;
4
 
    font-size: 150%;
5
4
    color: black;
6
5
    padding: 0;
7
6
    width: 100%;
9
8
    bottom: 0;
10
9
}
11
10
/* console_body when displayed as a window panel and not the whole app */
12
 
#console_body.windowpane {
 
11
.console_body.windowpane {
13
12
    position: fixed;
14
13
    top: auto;      /* Do not fix to top */
15
14
    bottom: 0;
17
16
    right: 0;
18
17
    z-index: 1;     /* Go in front of console_filler */
19
18
}
20
 
#console_body.windowpane.minimal {
 
19
.console_body.windowpane.minimal {
21
20
    border-top: 1px solid black;
22
21
}
23
 
#console_body.windowpane #console_body2 {
 
22
.console_body.windowpane .console_body2 {
24
23
    /* Need some padding in windowpane mode */
25
24
    /* (In full mode, things are positioned absolutely) */
26
 
    padding: 0.5em;
27
 
}
 
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
 
28
34
/* Heading bar */
29
 
#console_heading {
 
35
.console_heading {
30
36
    background-color: gray;
31
37
    border: 2px solid black;
32
38
    padding: 2px;
35
41
    font-weight: bold;
36
42
}
37
43
/* If "minimized", console_heading and console_output are hidden */
38
 
#console_body.minimal #console_heading,
39
 
#console_body.minimal #console_output,
 
44
.console_body.minimal .console_heading,
 
45
.console_body.minimal .console_output,
40
46
/* If "maximized", the maximize button is hidden */
41
 
#console_body.maximal .maximize {
 
47
.console_body.maximal .maximize {
42
48
    display: none;
43
49
}
44
50
/* Minimize/maximize button */
47
53
    position: absolute;
48
54
    right: 0.5em;
49
55
}
50
 
#console_output {
 
56
.console_output {
51
57
    /*height: 20em;*/       /* Might be needed for windowpane mode */
52
58
    /*margin-bottom: 0.5em;*/
53
59
    position: absolute;
54
 
    /* 2em is to accomodate the header bar, and some padding */
55
 
    top: 2em;
 
60
    /* Start immediately under the blue header. */
 
61
    top: 0;
56
62
    /* 2.5em is to accomodate the input bar, and padding either side */
57
63
    bottom: 2.5em;
58
 
    /* left and right 0.5em are just for horizontal padding */
59
 
    left: 0.5em;
60
 
    right: 0.5em;
 
64
    left: 0;
 
65
    right: 0;
61
66
    /* Display scroll bars */
62
67
    overflow: scroll;
63
68
    /* Some browsers support overflow-x and overflow-y. In this case, use
66
71
     * horizontal scroll bar).
67
72
     */
68
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;
69
80
}
70
 
#console_body.windowpane #console_output {
 
81
.console_body.windowpane .console_output {
71
82
    /* Don't want this absolutely positioned in windowpane mode */
72
83
    position: static;
 
84
    /* Make it a bit higher up, because the header is thinner in this mode */
 
85
    top: 2em;
73
86
    /* Give it an explicit height instead */
74
87
    height: 15em;
75
88
    margin-bottom: 0.5em;
76
89
}
77
 
#console_input {
 
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 {
78
108
    position: absolute;
79
109
    /* Input bar goes along the bottom. Pad all sides */
80
 
    left: 0.5em;
81
 
    right: 0.5em;
82
110
    bottom: 0.5em;
83
 
}
84
 
#console_body.windowpane #console_input {
 
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 {
85
147
    /* Don't want this absolutely positioned in windowpane mode */
86
148
    position: static;
87
149
}
88
 
#console_prompt {
89
 
    font-family: monospace;
90
 
}
91
 
#console_inputText {
92
 
    background-color: white;
93
 
    font-size: 80%;
94
 
    color: black;
95
 
    width: 75%;
96
 
}
97
 
#console_inputText.disabled {
98
 
    background-color: #aaa;
99
 
}
 
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
 
100
160
/* console filler takes up the same space as console_body.windowpane
101
161
 * but its position is relative, not fixed.
102
162
 * This avoids having the console overlap with the bottom 28em of page
117
177
    right: 0;
118
178
}
119
179
#console_filler.maximal {
120
 
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
121
 
     */
122
 
    height: 24em;
 
180
    /* Trial and error is useful to work this out. */
 
181
    height: 14em;
123
182
}
124
183
#console_filler.minimal {
125
 
    /* total height of console = 1em + 0.5em + 0.5em
126
 
     */
 
184
    /* Trial and error is useful to work this out. */
127
185
    height: 2em;
128
186
}
 
187
 
 
188
.console_message {
 
189
    color: gray;
 
190
}
 
191
 
129
192
*.errorMsg {
130
193
    color: red;
131
194
    margin-top: 0em;