← 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: William Grant
  • Date: 2009-05-26 02:10:08 UTC
  • Revision ID: grantw@unimelb.edu.au-20090526021008-hnka598yacu5w6da
Always set isdir = False in the file browser template filling.

Previously we used os.path.isdir outside the jail, which was terribly
unreliable and prone to crashing. We should do it properly once we can get
server-side access to the jails.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.css
 
1
#console_body {
 
2
    background-color: white;
 
3
    position: absolute;
 
4
    color: black;
 
5
    padding: 0;
 
6
    width: 100%;
 
7
    top: 0;
 
8
    bottom: 0;
 
9
}
 
10
/* console_body when displayed as a window panel and not the whole app */
 
11
#console_body.windowpane {
 
12
    position: fixed;
 
13
    top: auto;      /* Do not fix to top */
 
14
    bottom: 0;
 
15
    left: 0;
 
16
    right: 0;
 
17
    z-index: 1;     /* Go in front of console_filler */
 
18
}
 
19
#console_body.windowpane.minimal {
 
20
    border-top: 1px solid black;
 
21
}
 
22
#console_body.windowpane #console_body2 {
 
23
    /* Need some padding in windowpane mode */
 
24
    /* (In full mode, things are positioned absolutely) */
 
25
    padding: 0.2em;
 
26
}
 
27
/* Heading bar */
 
28
#console_heading {
 
29
    background-color: gray;
 
30
    border: 2px solid black;
 
31
    padding: 2px;
 
32
    color: black;
 
33
    font-family: monospace;
 
34
    font-weight: bold;
 
35
}
 
36
/* If "minimized", console_heading and console_output are hidden */
 
37
#console_body.minimal #console_heading,
 
38
#console_body.minimal #console_output,
 
39
/* If "maximized", the maximize button is hidden */
 
40
#console_body.maximal .maximize {
 
41
    display: none;
 
42
}
 
43
/* Minimize/maximize button */
 
44
.console_button {
 
45
    cursor: pointer;    /* Display hand cursor, since this is a button */
 
46
    position: absolute;
 
47
    right: 0.5em;
 
48
}
 
49
#console_output {
 
50
    /*height: 20em;*/       /* Might be needed for windowpane mode */
 
51
    /*margin-bottom: 0.5em;*/
 
52
    position: absolute;
 
53
    /* 2em is to accomodate the header bar, and some padding */
 
54
    top: 3.4em;
 
55
    /* 2.5em is to accomodate the input bar, and padding either side */
 
56
    bottom: 2.5em;
 
57
    left: 0;
 
58
    right: 0;
 
59
    /* Display scroll bars */
 
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;
 
73
}
 
74
#console_body.windowpane #console_output {
 
75
    /* Don't want this absolutely positioned in windowpane mode */
 
76
    position: static;
 
77
    /* Make it a bit higher up, because the header is thinner in this mode */
 
78
    top: 2em;
 
79
    /* Give it an explicit height instead */
 
80
    height: 15em;
 
81
    margin-bottom: 0.5em;
 
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
 
 
89
#console_input {
 
90
    position: absolute;
 
91
    /* Input bar goes along the bottom. Pad all sides */
 
92
    left: 0.5em;
 
93
    right: 0.5em;
 
94
    bottom: 0.5em;
 
95
}
 
96
 
 
97
#console_body.windowpane #console_input {
 
98
    /* Don't want this absolutely positioned in windowpane mode */
 
99
    position: static;
 
100
}
 
101
#console_prompt {
 
102
    font-family: monospace;
 
103
}
 
104
#console_inputText {
 
105
    font-family: monospace;
 
106
    width: 75%;
 
107
}
 
108
 
 
109
/* console filler takes up the same space as console_body.windowpane
 
110
 * but its position is relative, not fixed.
 
111
 * This avoids having the console overlap with the bottom 28em of page
 
112
 * content.
 
113
 * It has two classes. "windowpane" turns it on. "minimal" or "maximal"
 
114
 * control its height.
 
115
 */
 
116
#console_filler {
 
117
    display: none;
 
118
}
 
119
#console_filler.windowpane {
 
120
    display: block;
 
121
    z-index: -1;        /* Go behind the actual console */
 
122
    width: 100%;
 
123
    position: relative;
 
124
    bottom: 0;
 
125
    left: 0;
 
126
    right: 0;
 
127
}
 
128
#console_filler.maximal {
 
129
    /* Trial and error is useful to work this out. */
 
130
    height: 14em;
 
131
}
 
132
#console_filler.minimal {
 
133
    /* Trial and error is useful to work this out. */
 
134
    height: 1em;
 
135
}
 
136
*.errorMsg {
 
137
    color: red;
 
138
    margin-top: 0em;
 
139
    margin-bottom: 0em;
 
140
}
 
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 {
 
153
    margin-top: 0em;
 
154
    margin-bottom: 0em;
 
155
}