← 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-12-08 04:15:37 UTC
  • Revision ID: grantw@unimelb.edu.au-20091208041537-fvml99fo4eir3c2z
Remove get_user and update_user userservice calls -- unused since new-user-ui.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.css
22
22
#console_body.windowpane #console_body2 {
23
23
    /* Need some padding in windowpane mode */
24
24
    /* (In full mode, things are positioned absolutely) */
25
 
    padding: 0.5em;
 
25
    padding: 0.2em;
26
26
}
27
27
/* Heading bar */
28
28
#console_heading {
50
50
    /*height: 20em;*/       /* Might be needed for windowpane mode */
51
51
    /*margin-bottom: 0.5em;*/
52
52
    position: absolute;
53
 
    /* 2em is to accomodate the header bar, and some padding */
54
 
    top: 2em;
 
53
    /* Start immediately under the blue header. */
 
54
    top: 0;
55
55
    /* 2.5em is to accomodate the input bar, and padding either side */
56
56
    bottom: 2.5em;
57
 
    /* left and right 0.5em are just for horizontal padding */
58
 
    left: 0.5em;
59
 
    right: 0.5em;
 
57
    left: 0;
 
58
    right: 0;
60
59
    /* Display scroll bars */
61
60
    overflow: scroll;
62
61
    /* Some browsers support overflow-x and overflow-y. In this case, use
65
64
     * horizontal scroll bar).
66
65
     */
67
66
    overflow-x: auto;
 
67
    padding: 0.5em;
 
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;
68
73
}
69
74
#console_body.windowpane #console_output {
70
75
    /* Don't want this absolutely positioned in windowpane mode */
71
76
    position: static;
 
77
    /* Make it a bit higher up, because the header is thinner in this mode */
 
78
    top: 2em;
72
79
    /* Give it an explicit height instead */
73
 
    height: 20em;
 
80
    height: 15em;
74
81
    margin-bottom: 0.5em;
75
82
}
 
83
 
 
84
#console_body.windowpane.maximal, #console_body.windowpane #console_heading {
 
85
    -moz-border-radius-topleft: 10px;
 
86
    -moz-border-radius-topright: 10px;
 
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;
 
91
}
 
92
 
76
93
#console_input {
77
94
    position: absolute;
78
95
    /* Input bar goes along the bottom. Pad all sides */
79
 
    left: 0.5em;
80
 
    right: 0.5em;
81
96
    bottom: 0.5em;
82
 
}
 
97
    padding: 0 0.5em;
 
98
    /* Treat console line as table formatted, so the textbox is dynamic in size. */
 
99
    display: table;
 
100
    font-size: 13px;
 
101
}
 
102
 
 
103
#console_input > div {
 
104
    display: table-row;
 
105
}
 
106
 
 
107
#console_input > div > * {
 
108
    display: table-cell;
 
109
 
 
110
    /* Don't let the buttons wrap onto multiple lines.
 
111
     * This forces the textbox to shrink.
 
112
     */
 
113
    white-space: nowrap;
 
114
}
 
115
 
 
116
#console_input > div > .console_button {
 
117
    /* If the console button is in a cell, don't float */
 
118
    position: static !important;
 
119
    padding: 0 0.2em;
 
120
}
 
121
 
 
122
#console_inputCell {
 
123
    width: 100%;
 
124
    padding-right: 0.5em;
 
125
}
 
126
 
83
127
#console_body.windowpane #console_input {
84
128
    /* Don't want this absolutely positioned in windowpane mode */
85
129
    position: static;
86
130
}
87
131
#console_prompt {
88
132
    font-family: monospace;
 
133
    font-weight: bold;
 
134
    white-space: pre;
89
135
}
90
136
#console_inputText {
91
 
    background-color: white;
92
 
    color: black;
93
 
    width: 90%;
 
137
    font-family: monospace;
 
138
    width: 100%;
94
139
}
 
140
 
95
141
/* console filler takes up the same space as console_body.windowpane
96
142
 * but its position is relative, not fixed.
97
143
 * This avoids having the console overlap with the bottom 28em of page
112
158
    right: 0;
113
159
}
114
160
#console_filler.maximal {
115
 
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
116
 
     */
117
 
    height: 24em;
 
161
    /* Trial and error is useful to work this out. */
 
162
    height: 14em;
118
163
}
119
164
#console_filler.minimal {
120
 
    /* total height of console = 1em + 0.5em + 0.5em
121
 
     */
122
 
    height: 2em;
 
165
    /* Trial and error is useful to work this out. */
 
166
    height: 1em;
123
167
}
124
 
pre.errorMsg {
 
168
*.errorMsg {
125
169
    color: red;
126
170
    margin-top: 0em;
127
171
    margin-bottom: 0em;
128
172
}
129
 
pre.inputMsg {
 
173
*.inputPrompt {
 
174
    color: #800;    /* Deep red */
 
175
    font-weight: bold;
 
176
    margin-top: 0em;
 
177
    margin-bottom: 0em;
 
178
}
 
179
*.inputMsg {
130
180
    color: #404040;
131
181
    margin-top: 0em;
132
182
    margin-bottom: 0em;
133
183
}
134
 
pre.outputMsg {
 
184
*.outputMsg {
135
185
    margin-top: 0em;
136
186
    margin-bottom: 0em;
137
187
}