← 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: William Grant
  • Date: 2009-08-02 07:06:20 UTC
  • Revision ID: grantw@unimelb.edu.au-20090802070620-ppq1zznwt6gh3fmg
Tags: 0.1.9.15
Revert browser bottom offset changes; the new one is broken in many browsers.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.css
1
1
#console_body {
2
2
    background-color: white;
3
3
    position: absolute;
4
 
    font-size: 150%;
5
4
    color: black;
6
5
    padding: 0;
7
6
    width: 100%;
23
22
#console_body.windowpane #console_body2 {
24
23
    /* Need some padding in windowpane mode */
25
24
    /* (In full mode, things are positioned absolutely) */
26
 
    padding: 0.5em;
 
25
    padding: 0.2em;
27
26
}
28
27
/* Heading bar */
29
28
#console_heading {
52
51
    /*margin-bottom: 0.5em;*/
53
52
    position: absolute;
54
53
    /* 2em is to accomodate the header bar, and some padding */
55
 
    top: 2em;
 
54
    top: 3.4em;
56
55
    /* 2.5em is to accomodate the input bar, and padding either side */
57
56
    bottom: 2.5em;
58
 
    /* left and right 0.5em are just for horizontal padding */
59
 
    left: 0.5em;
60
 
    right: 0.5em;
 
57
    left: 0;
 
58
    right: 0;
61
59
    /* Display scroll bars */
62
60
    overflow: scroll;
63
61
    /* Some browsers support overflow-x and overflow-y. In this case, use
66
64
     * horizontal scroll bar).
67
65
     */
68
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;
69
73
}
70
74
#console_body.windowpane #console_output {
71
75
    /* Don't want this absolutely positioned in windowpane mode */
72
76
    position: static;
 
77
    /* Make it a bit higher up, because the header is thinner in this mode */
 
78
    top: 2em;
73
79
    /* Give it an explicit height instead */
74
80
    height: 15em;
75
81
    margin-bottom: 0.5em;
76
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
}
 
88
 
77
89
#console_input {
78
90
    position: absolute;
79
91
    /* Input bar goes along the bottom. Pad all sides */
80
92
    left: 0.5em;
81
93
    right: 0.5em;
82
94
    bottom: 0.5em;
83
 
}
 
95
    /* Treat console line as table formatted, so the textbox is dynamic in size. */
 
96
    display: table;
 
97
}
 
98
 
 
99
#console_input > div {
 
100
    display: table-row;
 
101
}
 
102
 
 
103
#console_input > div > * {
 
104
    display: table-cell;
 
105
 
 
106
    /* Don't let the buttons wrap onto multiple lines.
 
107
     * This forces the textbox to shrink.
 
108
     */
 
109
    white-space: nowrap;
 
110
}
 
111
 
 
112
#console_input > div > .console_button {
 
113
    /* If the console button is in a cell, don't float */
 
114
    position: static !important;
 
115
    padding: 0 0.2em;
 
116
}
 
117
 
 
118
#console_inputCell {
 
119
    width: 100%;
 
120
    padding-right: 0.5em;
 
121
}
 
122
 
84
123
#console_body.windowpane #console_input {
85
124
    /* Don't want this absolutely positioned in windowpane mode */
86
125
    position: static;
89
128
    font-family: monospace;
90
129
}
91
130
#console_inputText {
92
 
    background-color: white;
93
 
    font-size: 80%;
94
 
    color: black;
95
 
    width: 75%;
96
 
}
97
 
#console_inputText.disabled {
98
 
    background-color: #aaa;
99
 
}
 
131
    font-family: monospace;
 
132
    width: 100%;
 
133
}
 
134
 
100
135
/* console filler takes up the same space as console_body.windowpane
101
136
 * but its position is relative, not fixed.
102
137
 * This avoids having the console overlap with the bottom 28em of page
117
152
    right: 0;
118
153
}
119
154
#console_filler.maximal {
120
 
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
121
 
     */
122
 
    height: 24em;
 
155
    /* Trial and error is useful to work this out. */
 
156
    height: 14em;
123
157
}
124
158
#console_filler.minimal {
125
 
    /* total height of console = 1em + 0.5em + 0.5em
126
 
     */
127
 
    height: 2em;
 
159
    /* Trial and error is useful to work this out. */
 
160
    height: 1em;
128
161
}
129
162
*.errorMsg {
130
163
    color: red;