← 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-07-15 07:19:34 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:875
Added "migrations" directory, which contains incremental database update
    scripts.
Updated users.sql, uniqueness key on offering table.
Added migration matching this update to the migrations directory. Mm handy!

Show diffs side-by-side

added added

removed removed

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