← 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: David Coles
  • Date: 2009-08-02 08:57:44 UTC
  • mto: (1294.2.119 ui-the-third)
  • mto: This revision was merged to the branch mainline in revision 1353.
  • Revision ID: coles.david@gmail.com-20090802085744-ig0mr5fcm29ngibv
Show drop down icon for breadcrumbs with a sub-menu.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/webapp/console/media/console.css
1
 
#output {
2
 
    /*border: solid black 1pt;*/
3
 
    height: 24em;
 
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 */
4
60
    overflow: scroll;
5
 
    margin-bottom: 4pt;
6
 
    padding: 4pt;
7
 
}
8
 
#input {
9
 
    /*border: solid green 1pt;*/
10
 
}
11
 
#prompt {
12
 
    font-family: monospace;
13
 
}
14
 
pre.errorMsg {
 
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
    /* Treat console line as table formated */
 
96
    display: table
 
97
}
 
98
 
 
99
.trow {
 
100
    display: table-row;
 
101
}
 
102
 
 
103
.tcell {
 
104
    display: table-cell;
 
105
}
 
106
 
 
107
.tcell .console_button {
 
108
    /* If the console button is in a cell, don't float */
 
109
    position: static !important;
 
110
}
 
111
 
 
112
#console_inputCell {
 
113
    width: 100%;
 
114
    padding-right: 0.5em;
 
115
}
 
116
 
 
117
#console_body.windowpane #console_input {
 
118
    /* Don't want this absolutely positioned in windowpane mode */
 
119
    position: static;
 
120
}
 
121
#console_prompt {
 
122
    font-family: monospace;
 
123
    white-space: pre;
 
124
}
 
125
#console_inputText {
 
126
    font-family: monospace;
 
127
    width: 100%;
 
128
}
 
129
 
 
130
/* console filler takes up the same space as console_body.windowpane
 
131
 * but its position is relative, not fixed.
 
132
 * This avoids having the console overlap with the bottom 28em of page
 
133
 * content.
 
134
 * It has two classes. "windowpane" turns it on. "minimal" or "maximal"
 
135
 * control its height.
 
136
 */
 
137
#console_filler {
 
138
    display: none;
 
139
}
 
140
#console_filler.windowpane {
 
141
    display: block;
 
142
    z-index: -1;        /* Go behind the actual console */
 
143
    width: 100%;
 
144
    position: relative;
 
145
    bottom: 0;
 
146
    left: 0;
 
147
    right: 0;
 
148
}
 
149
#console_filler.maximal {
 
150
    /* Trial and error is useful to work this out. */
 
151
    height: 14em;
 
152
}
 
153
#console_filler.minimal {
 
154
    /* Trial and error is useful to work this out. */
 
155
    height: 1em;
 
156
}
 
157
*.errorMsg {
15
158
    color: red;
16
159
    margin-top: 0em;
17
160
    margin-bottom: 0em;
18
161
}
19
 
pre.inputMsg {
20
 
    color: gray;
21
 
    margin-top: 0em;
22
 
    margin-bottom: 0em;
23
 
}
24
 
pre.outputMsg {
 
162
*.inputPrompt {
 
163
    color: #800;    /* Deep red */
 
164
    font-weight: bold;
 
165
    margin-top: 0em;
 
166
    margin-bottom: 0em;
 
167
}
 
168
*.inputMsg {
 
169
    color: #404040;
 
170
    margin-top: 0em;
 
171
    margin-bottom: 0em;
 
172
}
 
173
*.outputMsg {
25
174
    margin-top: 0em;
26
175
    margin-bottom: 0em;
27
176
}