← 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: drtomc
  • Date: 2008-02-04 04:29:12 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:401
tutorialservice: Fixed "subjects" directory being searched for problem files, now looks in "problems". (A hang over from an earlier change to split them up).
This fixes the issue of problem submissions not working.

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 {
51
48
    /*margin-bottom: 0.5em;*/
52
49
    position: absolute;
53
50
    /* 2em is to accomodate the header bar, and some padding */
54
 
    top: 3.4em;
 
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
 
}
88
 
 
89
73
#console_input {
90
74
    position: absolute;
91
75
    /* Input bar goes along the bottom. Pad all sides */
93
77
    right: 0.5em;
94
78
    bottom: 0.5em;
95
79
}
96
 
 
97
80
#console_body.windowpane #console_input {
98
81
    /* Don't want this absolutely positioned in windowpane mode */
99
82
    position: static;
102
85
    font-family: monospace;
103
86
}
104
87
#console_inputText {
105
 
    font-family: monospace;
106
 
    width: 75%;
 
88
    background-color: black;
 
89
    color: white;
 
90
    width: 90%;
107
91
}
108
 
 
109
92
/* console filler takes up the same space as console_body.windowpane
110
93
 * but its position is relative, not fixed.
111
94
 * This avoids having the console overlap with the bottom 28em of page
126
109
    right: 0;
127
110
}
128
111
#console_filler.maximal {
129
 
    /* Trial and error is useful to work this out. */
130
 
    height: 14em;
 
112
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
 
113
     */
 
114
    height: 24em;
131
115
}
132
116
#console_filler.minimal {
133
 
    /* Trial and error is useful to work this out. */
134
 
    height: 1em;
 
117
    /* total height of console = 1em + 0.5em + 0.5em
 
118
     */
 
119
    height: 2em;
135
120
}
136
 
*.errorMsg {
 
121
pre.errorMsg {
137
122
    color: red;
138
123
    margin-top: 0em;
139
124
    margin-bottom: 0em;
140
125
}
141
 
*.inputPrompt {
142
 
    color: #800;    /* Deep red */
143
 
    font-weight: bold;
144
 
    margin-top: 0em;
145
 
    margin-bottom: 0em;
146
 
}
147
 
*.inputMsg {
148
 
    color: #404040;
149
 
    margin-top: 0em;
150
 
    margin-bottom: 0em;
151
 
}
152
 
*.outputMsg {
 
126
pre.inputMsg {
 
127
    color: gray;
 
128
    margin-top: 0em;
 
129
    margin-bottom: 0em;
 
130
}
 
131
pre.outputMsg {
153
132
    margin-top: 0em;
154
133
    margin-bottom: 0em;
155
134
}