← 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: Matt Giuca
  • Date: 2009-12-01 04:27:58 UTC
  • mfrom: (1164.2.46 sphinx-docs)
  • Revision ID: matt.giuca@gmail.com-20091201042758-wuxd9bdec00c283i
Merged sphinx-docs branch. This adds Sphinx documentation for the entire IVLE system (for system administrators and developers), and removes all of our random old document files (all either irrelevant, or moved into the Sphinx docs nicely). Currently incomplete, but ready to merge.

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
    -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
 
77
93
#console_input {
78
94
    position: absolute;
79
95
    /* Input bar goes along the bottom. Pad all sides */
80
 
    left: 0.5em;
81
 
    right: 0.5em;
82
96
    bottom: 0.5em;
83
 
}
 
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
 
84
127
#console_body.windowpane #console_input {
85
128
    /* Don't want this absolutely positioned in windowpane mode */
86
129
    position: static;
87
130
}
88
131
#console_prompt {
89
132
    font-family: monospace;
 
133
    font-weight: bold;
 
134
    white-space: pre;
90
135
}
91
136
#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
 
}
 
137
    font-family: monospace;
 
138
    width: 100%;
 
139
}
 
140
 
100
141
/* console filler takes up the same space as console_body.windowpane
101
142
 * but its position is relative, not fixed.
102
143
 * This avoids having the console overlap with the bottom 28em of page
117
158
    right: 0;
118
159
}
119
160
#console_filler.maximal {
120
 
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
121
 
     */
122
 
    height: 24em;
 
161
    /* Trial and error is useful to work this out. */
 
162
    height: 14em;
123
163
}
124
164
#console_filler.minimal {
125
 
    /* total height of console = 1em + 0.5em + 0.5em
126
 
     */
127
 
    height: 2em;
 
165
    /* Trial and error is useful to work this out. */
 
166
    height: 1em;
128
167
}
129
168
*.errorMsg {
130
169
    color: red;