← Back to branch summary

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

« back to all changes in this revision

Viewing changes to www/media/console/console.css

  • Committer: stevenbird
  • Date: 2008-02-19 21:17:21 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:512
Renaming of problems to exercises (initial commit).
Fix up module naming (exercises sometimes called tutorials).

Show diffs side-by-side

added added

removed removed

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