~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/media/console/console.css

ivle.webapp.tutorial: Port www/apps/tutorial to new framework.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
#console_body {
2
 
    background-color: black;
 
2
    background-color: white;
3
3
    position: absolute;
4
 
    color: white;
 
4
    font-size: 150%;
 
5
    color: black;
5
6
    padding: 0;
6
7
    width: 100%;
7
8
    top: 0;
16
17
    right: 0;
17
18
    z-index: 1;     /* Go in front of console_filler */
18
19
}
 
20
#console_body.windowpane.minimal {
 
21
    border-top: 1px solid black;
 
22
}
19
23
#console_body.windowpane #console_body2 {
20
24
    /* Need some padding in windowpane mode */
21
25
    /* (In full mode, things are positioned absolutely) */
56
60
    right: 0.5em;
57
61
    /* Display scroll bars */
58
62
    overflow: scroll;
 
63
    /* Some browsers support overflow-x and overflow-y. In this case, use
 
64
     * overflow-x: auto to disable the horizontal scroll bar.
 
65
     * (If unsupported this will simply fall back to a harmless but annoying
 
66
     * horizontal scroll bar).
 
67
     */
 
68
    overflow-x: auto;
59
69
}
60
70
#console_body.windowpane #console_output {
61
71
    /* Don't want this absolutely positioned in windowpane mode */
62
72
    position: static;
63
73
    /* Give it an explicit height instead */
64
 
    height: 20em;
 
74
    height: 15em;
65
75
    margin-bottom: 0.5em;
66
76
}
67
77
#console_input {
79
89
    font-family: monospace;
80
90
}
81
91
#console_inputText {
82
 
    background-color: black;
83
 
    color: white;
84
 
    width: 90%;
 
92
    background-color: white;
 
93
    font-size: 80%;
 
94
    color: black;
 
95
    width: 75%;
 
96
}
 
97
#console_inputText.disabled {
 
98
    background-color: #aaa;
85
99
}
86
100
/* console filler takes up the same space as console_body.windowpane
87
101
 * but its position is relative, not fixed.
112
126
     */
113
127
    height: 2em;
114
128
}
115
 
pre.errorMsg {
 
129
*.errorMsg {
116
130
    color: red;
117
131
    margin-top: 0em;
118
132
    margin-bottom: 0em;
119
133
}
120
 
pre.inputMsg {
121
 
    color: gray;
122
 
    margin-top: 0em;
123
 
    margin-bottom: 0em;
124
 
}
125
 
pre.outputMsg {
 
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
146
    margin-top: 0em;
127
147
    margin-bottom: 0em;
128
148
}