← 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: 2009-12-01 04:27:58 UTC
  • mfrom: (1164.2.46 sphinx-docs)
  • Revision ID: matt.giuca@gmail.com-20091201042758-wuxd9bdec00c283i
Merged sphinx-docs branch. This adds Sphinx documentation for the entire IVLE system (for system administrators and developers), and removes all of our random old document files (all either irrelevant, or moved into the Sphinx docs nicely). Currently incomplete, but ready to merge.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.css
1
1
#console_body {
2
 
    background-color: black;
 
2
    background-color: white;
3
3
    position: absolute;
4
 
    color: white;
 
4
    color: black;
5
5
    padding: 0;
6
6
    width: 100%;
7
7
    top: 0;
16
16
    right: 0;
17
17
    z-index: 1;     /* Go in front of console_filler */
18
18
}
 
19
#console_body.windowpane.minimal {
 
20
    border-top: 1px solid black;
 
21
}
19
22
#console_body.windowpane #console_body2 {
20
23
    /* Need some padding in windowpane mode */
21
24
    /* (In full mode, things are positioned absolutely) */
22
 
    padding: 0.5em;
 
25
    padding: 0.2em;
23
26
}
24
27
/* Heading bar */
25
28
#console_heading {
48
51
    /*margin-bottom: 0.5em;*/
49
52
    position: absolute;
50
53
    /* 2em is to accomodate the header bar, and some padding */
51
 
    top: 2em;
 
54
    top: 3.4em;
52
55
    /* 2.5em is to accomodate the input bar, and padding either side */
53
56
    bottom: 2.5em;
54
 
    /* left and right 0.5em are just for horizontal padding */
55
 
    left: 0.5em;
56
 
    right: 0.5em;
 
57
    left: 0;
 
58
    right: 0;
57
59
    /* Display scroll bars */
58
60
    overflow: scroll;
59
61
    /* Some browsers support overflow-x and overflow-y. In this case, use
62
64
     * horizontal scroll bar).
63
65
     */
64
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;
65
73
}
66
74
#console_body.windowpane #console_output {
67
75
    /* Don't want this absolutely positioned in windowpane mode */
68
76
    position: static;
 
77
    /* Make it a bit higher up, because the header is thinner in this mode */
 
78
    top: 2em;
69
79
    /* Give it an explicit height instead */
70
 
    height: 20em;
 
80
    height: 15em;
71
81
    margin-bottom: 0.5em;
72
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
 
73
93
#console_input {
74
94
    position: absolute;
75
95
    /* Input bar goes along the bottom. Pad all sides */
76
 
    left: 0.5em;
77
 
    right: 0.5em;
78
96
    bottom: 0.5em;
79
 
}
 
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
 
80
127
#console_body.windowpane #console_input {
81
128
    /* Don't want this absolutely positioned in windowpane mode */
82
129
    position: static;
83
130
}
84
131
#console_prompt {
85
132
    font-family: monospace;
 
133
    font-weight: bold;
 
134
    white-space: pre;
86
135
}
87
136
#console_inputText {
88
 
    background-color: black;
89
 
    color: white;
90
 
    width: 90%;
 
137
    font-family: monospace;
 
138
    width: 100%;
91
139
}
 
140
 
92
141
/* console filler takes up the same space as console_body.windowpane
93
142
 * but its position is relative, not fixed.
94
143
 * This avoids having the console overlap with the bottom 28em of page
109
158
    right: 0;
110
159
}
111
160
#console_filler.maximal {
112
 
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
113
 
     */
114
 
    height: 24em;
 
161
    /* Trial and error is useful to work this out. */
 
162
    height: 14em;
115
163
}
116
164
#console_filler.minimal {
117
 
    /* total height of console = 1em + 0.5em + 0.5em
118
 
     */
119
 
    height: 2em;
 
165
    /* Trial and error is useful to work this out. */
 
166
    height: 1em;
120
167
}
121
 
pre.errorMsg {
 
168
*.errorMsg {
122
169
    color: red;
123
170
    margin-top: 0em;
124
171
    margin-bottom: 0em;
125
172
}
126
 
pre.inputMsg {
127
 
    color: gray;
128
 
    margin-top: 0em;
129
 
    margin-bottom: 0em;
130
 
}
131
 
pre.outputMsg {
 
173
*.inputPrompt {
 
174
    color: #800;    /* Deep red */
 
175
    font-weight: bold;
 
176
    margin-top: 0em;
 
177
    margin-bottom: 0em;
 
178
}
 
179
*.inputMsg {
 
180
    color: #404040;
 
181
    margin-top: 0em;
 
182
    margin-bottom: 0em;
 
183
}
 
184
*.outputMsg {
132
185
    margin-top: 0em;
133
186
    margin-bottom: 0em;
134
187
}