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

« back to all changes in this revision

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

  • Committer: mattgiuca
  • Date: 2008-01-31 01:44:30 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:345
Global CSS change: ivlebody no longer has 1em of padding (it has none).
This is because most apps were disabling it (and it had to change anyway for
other reasons -- see below).

Hence, all apps which WERE disabling the padding have had that removed, and
just work by default. (console, browser, tutorial)
All apps which WEREN'T disabling the padding (very few) now have to manually
include an extra div. This has been done on all such apps, and has been
heavily documented (both in the CSS file and doc/app_howto). (help, dummy,
debuginfo).

media/common/ivle.css: 
    The real change here (which isn't yet being used) is that ivlebody is now
    positioned absolutely and takes up all the space on the canvas. This is
    to be used for full-page layouts in console and browser.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
.console_body {
2
 
    background-color: white;
3
 
    position: absolute;
4
 
    color: black;
 
1
#console_body {
 
2
    background-color: black;
 
3
    color: white;
5
4
    padding: 0;
6
5
    width: 100%;
7
 
    top: 0;
8
 
    bottom: 0;
9
6
}
10
7
/* console_body when displayed as a window panel and not the whole app */
11
 
.console_body.windowpane {
 
8
#console_body.windowpane {
12
9
    position: fixed;
13
 
    top: auto;      /* Do not fix to top */
14
10
    bottom: 0;
15
11
    left: 0;
16
12
    right: 0;
17
13
    z-index: 1;     /* Go in front of console_filler */
18
14
}
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
 
 
28
 
.console_help_example_body {
29
 
    border: 1px solid black;
30
 
    border-top: none;
31
 
    padding-bottom: 0.5em;
32
 
}
33
 
 
 
15
#console_body2 {
 
16
    padding: 0.5em;
 
17
}
34
18
/* Heading bar */
35
 
.console_heading {
 
19
#console_heading {
36
20
    background-color: gray;
37
21
    border: 2px solid black;
38
22
    padding: 2px;
41
25
    font-weight: bold;
42
26
}
43
27
/* If "minimized", console_heading and console_output are hidden */
44
 
.console_body.minimal .console_heading,
45
 
.console_body.minimal .console_output,
 
28
#console_body.minimal #console_heading,
 
29
#console_body.minimal #console_output,
46
30
/* If "maximized", the maximize button is hidden */
47
 
.console_body.maximal .maximize {
 
31
#console_body.maximal .maximize {
48
32
    display: none;
49
33
}
50
34
/* Minimize/maximize button */
53
37
    position: absolute;
54
38
    right: 0.5em;
55
39
}
56
 
.console_output {
57
 
    /*height: 20em;*/       /* Might be needed for windowpane mode */
58
 
    /*margin-bottom: 0.5em;*/
59
 
    position: absolute;
60
 
    /* Start immediately under the blue header. */
61
 
    top: 0;
62
 
    /* 2.5em is to accomodate the input bar, and padding either side */
63
 
    bottom: 2.5em;
64
 
    left: 0;
65
 
    right: 0;
66
 
    /* Display scroll bars */
 
40
#console_output {
 
41
    /*border: solid black 1pt;*/
 
42
    height: 20em;
67
43
    overflow: scroll;
68
 
    /* Some browsers support overflow-x and overflow-y. In this case, use
69
 
     * overflow-x: auto to disable the horizontal scroll bar.
70
 
     * (If unsupported this will simply fall back to a harmless but annoying
71
 
     * horizontal scroll bar).
72
 
     */
73
 
    overflow-x: auto;
74
 
    padding: 0.5em;
75
 
    /* On some displays, monospace font is much smaller than everything else.
76
 
     * We just set the console font to 13px to appear a bit bigger (this is
77
 
     * the same size as the editor's font).
78
 
     */
79
 
    font-size: 13px;
80
 
}
81
 
.console_body.windowpane .console_output {
82
 
    /* Don't want this absolutely positioned in windowpane mode */
83
 
    position: static;
84
 
    /* Make it a bit higher up, because the header is thinner in this mode */
85
 
    top: 2em;
86
 
    /* Give it an explicit height instead */
87
 
    height: 15em;
88
44
    margin-bottom: 0.5em;
89
45
}
90
 
 
91
 
.console_help_example .console_output {
92
 
    position: relative;
93
 
    top: 0;
94
 
    height: auto;
95
 
}
96
 
 
97
 
.console_body.windowpane.maximal, .console_body.windowpane .console_heading,
98
 
.console_help_example .console_heading {
99
 
    -moz-border-radius-topleft: 10px;
100
 
    -moz-border-radius-topright: 10px;
101
 
    -webkit-border-top-left-radius: 10px;
102
 
    -webkit-border-top-right-radius: 10px;
103
 
    border-top-left-radius: 10px;
104
 
    border-top-right-radius: 10px;
105
 
}
106
 
 
107
 
.console_input {
108
 
    position: absolute;
109
 
    /* Input bar goes along the bottom. Pad all sides */
110
 
    bottom: 0.5em;
111
 
    padding: 0 0.5em;
112
 
    /* Treat console line as table formatted, so the textbox is dynamic in size. */
113
 
    display: table;
114
 
    font-size: 13px;
115
 
}
116
 
 
117
 
.console_help_example .console_input {
118
 
    position: relative;
119
 
    bottom: 0;
120
 
}
121
 
 
122
 
.console_input > div {
123
 
    display: table-row;
124
 
}
125
 
 
126
 
.console_input > div > * {
127
 
    display: table-cell;
128
 
 
129
 
    /* Don't let the buttons wrap onto multiple lines.
130
 
     * This forces the textbox to shrink.
131
 
     */
132
 
    white-space: nowrap;
133
 
}
134
 
 
135
 
.console_input > div > .console_button {
136
 
    /* If the console button is in a cell, don't float */
137
 
    position: static !important;
138
 
    padding: 0 0.2em;
139
 
}
140
 
 
141
 
.console_inputCell {
142
 
    width: 100%;
143
 
    padding-right: 0.5em;
144
 
}
145
 
 
146
 
.console_body.windowpane .console_input {
147
 
    /* Don't want this absolutely positioned in windowpane mode */
148
 
    position: static;
149
 
}
150
 
.console_prompt {
151
 
    font-family: monospace;
152
 
    font-weight: bold;
153
 
    white-space: pre;
154
 
}
155
 
.console_inputText {
156
 
    font-family: monospace;
157
 
    width: 100%;
158
 
}
159
 
 
 
46
#console_input {
 
47
    /*border: solid green 1pt;*/
 
48
}
 
49
#console_prompt {
 
50
    font-family: monospace;
 
51
}
 
52
#console_inputText {
 
53
    background-color: black;
 
54
    color: white;
 
55
    width: 90%;
 
56
}
160
57
/* console filler takes up the same space as console_body.windowpane
161
58
 * but its position is relative, not fixed.
162
59
 * This avoids having the console overlap with the bottom 28em of page
177
74
    right: 0;
178
75
}
179
76
#console_filler.maximal {
180
 
    /* Trial and error is useful to work this out. */
181
 
    height: 14em;
 
77
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
 
78
     */
 
79
    height: 24em;
182
80
}
183
81
#console_filler.minimal {
184
 
    /* Trial and error is useful to work this out. */
 
82
    /* total height of console = 1em + 0.5em + 0.5em
 
83
     */
185
84
    height: 2em;
186
85
}
187
 
 
188
 
.console_message {
 
86
pre.errorMsg {
 
87
    color: red;
 
88
    margin-top: 0em;
 
89
    margin-bottom: 0em;
 
90
}
 
91
pre.inputMsg {
189
92
    color: gray;
190
 
}
191
 
 
192
 
*.errorMsg {
193
 
    color: red;
194
 
    margin-top: 0em;
195
 
    margin-bottom: 0em;
196
 
}
197
 
*.inputPrompt {
198
 
    color: #800;    /* Deep red */
199
 
    font-weight: bold;
200
 
    margin-top: 0em;
201
 
    margin-bottom: 0em;
202
 
}
203
 
*.inputMsg {
204
 
    color: #404040;
205
 
    margin-top: 0em;
206
 
    margin-bottom: 0em;
207
 
}
208
 
*.outputMsg {
 
93
    margin-top: 0em;
 
94
    margin-bottom: 0em;
 
95
}
 
96
pre.outputMsg {
209
97
    margin-top: 0em;
210
98
    margin-bottom: 0em;
211
99
}