← 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: mattgiuca
  • Date: 2008-01-13 10:24:53 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:208
dispatch.html, ivle.css: "apptabs" is now an ID, not a class.
    This is so JavaScript code can easily identify it.
editor: Replaced dummy stub with a simple call to browser.handle.
    Editor and File Browser are now integrated with each other.
util.js: New functions, endswith and path_basename.
browser.js: Major changes to accomodate merging editor with file browser.
    Now detects "edit" URLs and handles files slightly-differently.
    In "edit mode", all files are edited even if they are binary.
    There is a warning for editing files that are binary files.
    Changes the styling of the tabs so that the "selected" tab is
    either the file browser or editor depending on whether the editor
    panel is open or not. (So the actual contents of the page determine
    which tab is selected, not the URL or the server).
    Sets the window title to the name of the directory or file being browsed.`

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
 
    /* Start immediately under the blue header. */
54
 
    top: 0;
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
 
    -webkit-border-top-left-radius: 10px;
88
 
    -webkit-border-top-right-radius: 10px;
89
 
    border-top-left-radius: 10px;
90
 
    border-top-right-radius: 10px;
91
 
}
92
 
 
93
 
#console_input {
94
 
    position: absolute;
95
 
    /* Input bar goes along the bottom. Pad all sides */
96
 
    bottom: 0.5em;
97
 
    padding: 0 0.5em;
98
 
    /* Treat console line as table formatted, so the textbox is dynamic in size. */
99
 
    display: table;
100
 
    font-size: 13px;
101
 
}
102
 
 
103
 
#console_input > div {
104
 
    display: table-row;
105
 
}
106
 
 
107
 
#console_input > div > * {
108
 
    display: table-cell;
109
 
 
110
 
    /* Don't let the buttons wrap onto multiple lines.
111
 
     * This forces the textbox to shrink.
112
 
     */
113
 
    white-space: nowrap;
114
 
}
115
 
 
116
 
#console_input > div > .console_button {
117
 
    /* If the console button is in a cell, don't float */
118
 
    position: static !important;
119
 
    padding: 0 0.2em;
120
 
}
121
 
 
122
 
#console_inputCell {
123
 
    width: 100%;
124
 
    padding-right: 0.5em;
125
 
}
126
 
 
127
 
#console_body.windowpane #console_input {
128
 
    /* Don't want this absolutely positioned in windowpane mode */
129
 
    position: static;
130
 
}
131
 
#console_prompt {
132
 
    font-family: monospace;
133
 
    font-weight: bold;
134
 
    white-space: pre;
135
 
}
136
 
#console_inputText {
137
 
    font-family: monospace;
138
 
    width: 100%;
139
 
}
140
 
 
141
 
/* console filler takes up the same space as console_body.windowpane
142
 
 * but its position is relative, not fixed.
143
 
 * This avoids having the console overlap with the bottom 28em of page
144
 
 * content.
145
 
 * It has two classes. "windowpane" turns it on. "minimal" or "maximal"
146
 
 * control its height.
147
 
 */
148
 
#console_filler {
149
 
    display: none;
150
 
}
151
 
#console_filler.windowpane {
152
 
    display: block;
153
 
    z-index: -1;        /* Go behind the actual console */
154
 
    width: 100%;
155
 
    position: relative;
156
 
    bottom: 0;
157
 
    left: 0;
158
 
    right: 0;
159
 
}
160
 
#console_filler.maximal {
161
 
    /* Trial and error is useful to work this out. */
162
 
    height: 14em;
163
 
}
164
 
#console_filler.minimal {
165
 
    /* Trial and error is useful to work this out. */
166
 
    height: 1em;
167
 
}
168
 
*.errorMsg {
169
 
    color: red;
170
 
    margin-top: 0em;
171
 
    margin-bottom: 0em;
172
 
}
173
 
*.inputPrompt {
174
 
    color: #800;    /* Deep red */
175
 
    font-weight: bold;
176
 
    margin-top: 0em;
177
 
    margin-bottom: 0em;
178
 
}
179
 
*.inputMsg {
180
 
    color: #404040;
181
 
    margin-top: 0em;
182
 
    margin-bottom: 0em;
183
 
}
184
 
*.outputMsg {
185
 
    margin-top: 0em;
186
 
    margin-bottom: 0em;
187
 
}