← 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-04-23 08:15:09 UTC
  • Revision ID: matt.giuca@gmail.com-20090423081509-oyp1sxqwj5sfnb66
fileservice: Fixed a bug when browsing previous revisions, that the
    *existance* of a file or *whether or not it is a directory* was determined
    by the current version, not the historical version.
    Now checks the revision to see whether the file exists and whether it is a
    directory (so it will not look at the physical file system at all).

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.css
1
1
#console_body {
2
 
    background-color: black;
 
2
    background-color: white;
3
3
    position: absolute;
4
 
    color: white;
 
4
    color: black;
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
}
19
22
#console_body.windowpane #console_body2 {
20
23
    /* Need some padding in windowpane mode */
21
24
    /* (In full mode, things are positioned absolutely) */
22
 
    padding: 0.5em;
 
25
    padding: 0.2em;
23
26
}
24
27
/* Heading bar */
25
28
#console_heading {
48
51
    /*margin-bottom: 0.5em;*/
49
52
    position: absolute;
50
53
    /* 2em is to accomodate the header bar, and some padding */
51
 
    top: 2em;
 
54
    top: 3.4em;
52
55
    /* 2.5em is to accomodate the input bar, and padding either side */
53
56
    bottom: 2.5em;
54
 
    /* left and right 0.5em are just for horizontal padding */
55
 
    left: 0.5em;
56
 
    right: 0.5em;
 
57
    left: 0;
 
58
    right: 0;
57
59
    /* Display scroll bars */
58
60
    overflow: scroll;
 
61
    /* Some browsers support overflow-x and overflow-y. In this case, use
 
62
     * overflow-x: auto to disable the horizontal scroll bar.
 
63
     * (If unsupported this will simply fall back to a harmless but annoying
 
64
     * horizontal scroll bar).
 
65
     */
 
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;
59
73
}
60
74
#console_body.windowpane #console_output {
61
75
    /* Don't want this absolutely positioned in windowpane mode */
62
76
    position: static;
 
77
    /* Make it a bit higher up, because the header is thinner in this mode */
 
78
    top: 2em;
63
79
    /* Give it an explicit height instead */
64
 
    height: 20em;
 
80
    height: 15em;
65
81
    margin-bottom: 0.5em;
66
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
}
 
88
 
67
89
#console_input {
68
90
    position: absolute;
69
91
    /* Input bar goes along the bottom. Pad all sides */
71
93
    right: 0.5em;
72
94
    bottom: 0.5em;
73
95
}
 
96
 
74
97
#console_body.windowpane #console_input {
75
98
    /* Don't want this absolutely positioned in windowpane mode */
76
99
    position: static;
79
102
    font-family: monospace;
80
103
}
81
104
#console_inputText {
82
 
    background-color: black;
83
 
    color: white;
84
 
    width: 90%;
 
105
    font-family: monospace;
 
106
    width: 75%;
85
107
}
 
108
 
86
109
/* console filler takes up the same space as console_body.windowpane
87
110
 * but its position is relative, not fixed.
88
111
 * This avoids having the console overlap with the bottom 28em of page
103
126
    right: 0;
104
127
}
105
128
#console_filler.maximal {
106
 
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
107
 
     */
108
 
    height: 24em;
 
129
    /* Trial and error is useful to work this out. */
 
130
    height: 14em;
109
131
}
110
132
#console_filler.minimal {
111
 
    /* total height of console = 1em + 0.5em + 0.5em
112
 
     */
113
 
    height: 2em;
 
133
    /* Trial and error is useful to work this out. */
 
134
    height: 1em;
114
135
}
115
 
pre.errorMsg {
 
136
*.errorMsg {
116
137
    color: red;
117
138
    margin-top: 0em;
118
139
    margin-bottom: 0em;
119
140
}
120
 
pre.inputMsg {
121
 
    color: gray;
122
 
    margin-top: 0em;
123
 
    margin-bottom: 0em;
124
 
}
125
 
pre.outputMsg {
 
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
153
    margin-top: 0em;
127
154
    margin-bottom: 0em;
128
155
}