← 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-05 02:18:01 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:412
lib/common/makeuser: Removed function makeuser. This top-level function is too
    specific. Callers can decide how to call the various make-user functions.
    make_jail: Added "uid" argument. The caller needs to pass the UID who will
    own the jail. This unties the username from the uid.
    Now chowns and chmods 700 the user's home directory within the jail IF it
    is being created. If the jail already exists it is assumed the user has it
    set up the way they like and it is not disturbed.
makeuser.py: Script now performs top-level actions without calling
    makeuser.makeuser. This script currently creates the unix user itself
    (because the lib version doesn't support that anymore).
    It also checks for root, then calls make_user_db and make_jail.

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
}