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

« back to all changes in this revision

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

Dispatch now generates an index for each plugin type, allowing plugins to
be written which are aware of other plugins, and other plugin types.

All view plugins now subclass from ivle.webapp.base.plugins.ViewPlugin,
as opposed to subclassing BasePlugin directly. This will allow us to
easily re-write console as an OverlayPlugin, and allow future new
plugins types to be created.

Show diffs side-by-side

added added

removed removed

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