← 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: William Grant
  • Date: 2009-06-29 03:42:31 UTC
  • Revision ID: grantw@unimelb.edu.au-20090629034231-ceo0aoc68gmyg2ww
Revive a removed part of the top-level crash handler.

fileservice is still raising IVLEErrors, relying on the assumption that
the HTTP status code in them will end up in the response. That job was
actually done by the top level crash handler.

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
4
    color: black;
8
8
    bottom: 0;
9
9
}
10
10
/* console_body when displayed as a window panel and not the whole app */
11
 
.console_body.windowpane {
 
11
#console_body.windowpane {
12
12
    position: fixed;
13
13
    top: auto;      /* Do not fix to top */
14
14
    bottom: 0;
16
16
    right: 0;
17
17
    z-index: 1;     /* Go in front of console_filler */
18
18
}
19
 
.console_body.windowpane.minimal {
 
19
#console_body.windowpane.minimal {
20
20
    border-top: 1px solid black;
21
21
}
22
 
.console_body.windowpane .console_body2 {
 
22
#console_body.windowpane #console_body2 {
23
23
    /* Need some padding in windowpane mode */
24
24
    /* (In full mode, things are positioned absolutely) */
25
25
    padding: 0.2em;
26
26
}
27
 
 
28
 
.console_help_example_body {
29
 
    border: 1px solid black;
30
 
    border-top: none;
31
 
    padding-bottom: 0.5em;
32
 
}
33
 
 
34
27
/* Heading bar */
35
 
.console_heading {
 
28
#console_heading {
36
29
    background-color: gray;
37
30
    border: 2px solid black;
38
31
    padding: 2px;
41
34
    font-weight: bold;
42
35
}
43
36
/* If "minimized", console_heading and console_output are hidden */
44
 
.console_body.minimal .console_heading,
45
 
.console_body.minimal .console_output,
 
37
#console_body.minimal #console_heading,
 
38
#console_body.minimal #console_output,
46
39
/* If "maximized", the maximize button is hidden */
47
 
.console_body.maximal .maximize {
 
40
#console_body.maximal .maximize {
48
41
    display: none;
49
42
}
50
43
/* Minimize/maximize button */
53
46
    position: absolute;
54
47
    right: 0.5em;
55
48
}
56
 
.console_output {
 
49
#console_output {
57
50
    /*height: 20em;*/       /* Might be needed for windowpane mode */
58
51
    /*margin-bottom: 0.5em;*/
59
52
    position: absolute;
60
 
    /* Start immediately under the blue header. */
61
 
    top: 0;
 
53
    /* 2em is to accomodate the header bar, and some padding */
 
54
    top: 3.4em;
62
55
    /* 2.5em is to accomodate the input bar, and padding either side */
63
56
    bottom: 2.5em;
64
57
    left: 0;
78
71
     */
79
72
    font-size: 13px;
80
73
}
81
 
.console_body.windowpane .console_output {
 
74
#console_body.windowpane #console_output {
82
75
    /* Don't want this absolutely positioned in windowpane mode */
83
76
    position: static;
84
77
    /* Make it a bit higher up, because the header is thinner in this mode */
88
81
    margin-bottom: 0.5em;
89
82
}
90
83
 
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 {
 
84
#console_body.windowpane.maximal, #console_body.windowpane #console_heading {
99
85
    -moz-border-radius-topleft: 10px;
100
86
    -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
87
}
106
88
 
107
 
.console_input {
 
89
#console_input {
108
90
    position: absolute;
109
91
    /* Input bar goes along the bottom. Pad all sides */
 
92
    left: 0.5em;
 
93
    right: 0.5em;
110
94
    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 {
 
95
}
 
96
 
 
97
#console_body.windowpane #console_input {
147
98
    /* Don't want this absolutely positioned in windowpane mode */
148
99
    position: static;
149
100
}
150
 
.console_prompt {
 
101
#console_prompt {
151
102
    font-family: monospace;
152
 
    font-weight: bold;
153
 
    white-space: pre;
154
103
}
155
 
.console_inputText {
 
104
#console_inputText {
156
105
    font-family: monospace;
157
 
    width: 100%;
 
106
    width: 75%;
158
107
}
159
108
 
160
109
/* console filler takes up the same space as console_body.windowpane
182
131
}
183
132
#console_filler.minimal {
184
133
    /* Trial and error is useful to work this out. */
185
 
    height: 2em;
 
134
    height: 1em;
186
135
}
187
136
*.errorMsg {
188
137
    color: red;