~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-02-05 01:41:15 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:409
Moved www/conf and www/common to a new directory lib. This separates the "web"
part of IVLE from what is becoming less web oriented (at least from Apache's
standpoint).
Modified setup.py to install this lib directory correctly and write conf in
the right place. Also adds the lib directory to ivle.pth.

Show diffs side-by-side

added added

removed removed

Lines of Context:
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
}