← 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: stevenbird
  • Date: 2008-02-19 21:17:21 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:512
Renaming of problems to exercises (initial commit).
Fix up module naming (exercises sometimes called tutorials).

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
 
    font-size: 150%;
5
 
    color: black;
 
4
    color: white;
6
5
    padding: 0;
7
6
    width: 100%;
8
7
    top: 0;
17
16
    right: 0;
18
17
    z-index: 1;     /* Go in front of console_filler */
19
18
}
20
 
#console_body.windowpane.minimal {
21
 
    border-top: 1px solid black;
22
 
}
23
19
#console_body.windowpane #console_body2 {
24
20
    /* Need some padding in windowpane mode */
25
21
    /* (In full mode, things are positioned absolutely) */
71
67
    /* Don't want this absolutely positioned in windowpane mode */
72
68
    position: static;
73
69
    /* Give it an explicit height instead */
74
 
    height: 15em;
 
70
    height: 20em;
75
71
    margin-bottom: 0.5em;
76
72
}
77
73
#console_input {
89
85
    font-family: monospace;
90
86
}
91
87
#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;
 
88
    background-color: black;
 
89
    color: white;
 
90
    width: 90%;
99
91
}
100
92
/* console filler takes up the same space as console_body.windowpane
101
93
 * but its position is relative, not fixed.
126
118
     */
127
119
    height: 2em;
128
120
}
129
 
*.errorMsg {
 
121
pre.errorMsg {
130
122
    color: red;
131
123
    margin-top: 0em;
132
124
    margin-bottom: 0em;
133
125
}
134
 
*.inputPrompt {
135
 
    color: #800;    /* Deep red */
136
 
    font-weight: bold;
137
 
    margin-top: 0em;
138
 
    margin-bottom: 0em;
139
 
}
140
 
*.inputMsg {
141
 
    color: #404040;
142
 
    margin-top: 0em;
143
 
    margin-bottom: 0em;
144
 
}
145
 
*.outputMsg {
 
126
pre.inputMsg {
 
127
    color: gray;
 
128
    margin-top: 0em;
 
129
    margin-bottom: 0em;
 
130
}
 
131
pre.outputMsg {
146
132
    margin-top: 0em;
147
133
    margin-bottom: 0em;
148
134
}