← 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: mattgiuca
  • Date: 2008-02-01 02:51:03 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:364
setup.py: Fixed config command-line args (forgot to make general).
    db_port now checks that it is an int in the correct range, and writes it
    to conf.py as an int, instead of a string.
makeuser: Added comments about all the wonderful things it will one day do.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/console/console.css
1
 
.console_body {
2
 
    background-color: white;
 
1
#console_body {
 
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;
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 {
20
 
    border-top: 1px solid black;
21
 
}
22
 
.console_body.windowpane .console_body2 {
 
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;
26
 
}
27
 
 
28
 
.console_help_example_body {
29
 
    border: 1px solid black;
30
 
    border-top: none;
31
 
    padding-bottom: 0.5em;
32
 
}
33
 
 
 
22
    padding: 0.5em;
 
23
}
34
24
/* Heading bar */
35
 
.console_heading {
 
25
#console_heading {
36
26
    background-color: gray;
37
27
    border: 2px solid black;
38
28
    padding: 2px;
41
31
    font-weight: bold;
42
32
}
43
33
/* If "minimized", console_heading and console_output are hidden */
44
 
.console_body.minimal .console_heading,
45
 
.console_body.minimal .console_output,
 
34
#console_body.minimal #console_heading,
 
35
#console_body.minimal #console_output,
46
36
/* If "maximized", the maximize button is hidden */
47
 
.console_body.maximal .maximize {
 
37
#console_body.maximal .maximize {
48
38
    display: none;
49
39
}
50
40
/* Minimize/maximize button */
53
43
    position: absolute;
54
44
    right: 0.5em;
55
45
}
56
 
.console_output {
 
46
#console_output {
57
47
    /*height: 20em;*/       /* Might be needed for windowpane mode */
58
48
    /*margin-bottom: 0.5em;*/
59
49
    position: absolute;
60
 
    /* Start immediately under the blue header. */
61
 
    top: 0;
 
50
    /* 2em is to accomodate the header bar, and some padding */
 
51
    top: 2em;
62
52
    /* 2.5em is to accomodate the input bar, and padding either side */
63
53
    bottom: 2.5em;
64
 
    left: 0;
65
 
    right: 0;
 
54
    /* left and right 0.5em are just for horizontal padding */
 
55
    left: 0.5em;
 
56
    right: 0.5em;
66
57
    /* Display scroll bars */
67
58
    overflow: scroll;
68
 
    /* Some browsers support overflow-x and overflow-y. In this case, use
69
 
     * overflow-x: auto to disable the horizontal scroll bar.
70
 
     * (If unsupported this will simply fall back to a harmless but annoying
71
 
     * horizontal scroll bar).
72
 
     */
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;
80
59
}
81
 
.console_body.windowpane .console_output {
 
60
#console_body.windowpane #console_output {
82
61
    /* Don't want this absolutely positioned in windowpane mode */
83
62
    position: static;
84
 
    /* Make it a bit higher up, because the header is thinner in this mode */
85
 
    top: 2em;
86
63
    /* Give it an explicit height instead */
87
 
    height: 15em;
 
64
    height: 20em;
88
65
    margin-bottom: 0.5em;
89
66
}
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 {
 
67
#console_input {
108
68
    position: absolute;
109
69
    /* Input bar goes along the bottom. Pad all sides */
 
70
    left: 0.5em;
 
71
    right: 0.5em;
110
72
    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 {
 
73
}
 
74
#console_body.windowpane #console_input {
147
75
    /* Don't want this absolutely positioned in windowpane mode */
148
76
    position: static;
149
77
}
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
 
 
 
78
#console_prompt {
 
79
    font-family: monospace;
 
80
}
 
81
#console_inputText {
 
82
    background-color: black;
 
83
    color: white;
 
84
    width: 90%;
 
85
}
160
86
/* console filler takes up the same space as console_body.windowpane
161
87
 * but its position is relative, not fixed.
162
88
 * This avoids having the console overlap with the bottom 28em of page
177
103
    right: 0;
178
104
}
179
105
#console_filler.maximal {
180
 
    /* Trial and error is useful to work this out. */
181
 
    height: 14em;
 
106
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
 
107
     */
 
108
    height: 24em;
182
109
}
183
110
#console_filler.minimal {
184
 
    /* Trial and error is useful to work this out. */
 
111
    /* total height of console = 1em + 0.5em + 0.5em
 
112
     */
185
113
    height: 2em;
186
114
}
187
 
 
188
 
.console_message {
 
115
pre.errorMsg {
 
116
    color: red;
 
117
    margin-top: 0em;
 
118
    margin-bottom: 0em;
 
119
}
 
120
pre.inputMsg {
189
121
    color: gray;
190
 
}
191
 
 
192
 
*.errorMsg {
193
 
    color: red;
194
 
    margin-top: 0em;
195
 
    margin-bottom: 0em;
196
 
}
197
 
*.inputPrompt {
198
 
    color: #800;    /* Deep red */
199
 
    font-weight: bold;
200
 
    margin-top: 0em;
201
 
    margin-bottom: 0em;
202
 
}
203
 
*.inputMsg {
204
 
    color: #404040;
205
 
    margin-top: 0em;
206
 
    margin-bottom: 0em;
207
 
}
208
 
*.outputMsg {
 
122
    margin-top: 0em;
 
123
    margin-bottom: 0em;
 
124
}
 
125
pre.outputMsg {
209
126
    margin-top: 0em;
210
127
    margin-bottom: 0em;
211
128
}