~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
1
#console_body {
2
 
    background-color: white;
3
 
    position: absolute;
4
 
    font-size: 150%;
5
 
    color: black;
 
2
    background-color: black;
 
3
    color: white;
6
4
    padding: 0;
7
5
    width: 100%;
8
 
    top: 0;
9
 
    bottom: 0;
10
6
}
11
7
/* console_body when displayed as a window panel and not the whole app */
12
8
#console_body.windowpane {
13
9
    position: fixed;
14
 
    top: auto;      /* Do not fix to top */
15
10
    bottom: 0;
16
11
    left: 0;
17
12
    right: 0;
18
13
    z-index: 1;     /* Go in front of console_filler */
19
14
}
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) */
 
15
#console_body2 {
26
16
    padding: 0.5em;
27
17
}
28
18
/* Heading bar */
48
38
    right: 0.5em;
49
39
}
50
40
#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 */
 
41
    /*border: solid black 1pt;*/
 
42
    height: 20em;
62
43
    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
44
    margin-bottom: 0.5em;
76
45
}
77
46
#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;
 
47
    /*border: solid green 1pt;*/
87
48
}
88
49
#console_prompt {
89
50
    font-family: monospace;
90
51
}
91
52
#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;
 
53
    background-color: black;
 
54
    color: white;
 
55
    width: 90%;
99
56
}
100
57
/* console filler takes up the same space as console_body.windowpane
101
58
 * but its position is relative, not fixed.
126
83
     */
127
84
    height: 2em;
128
85
}
129
 
*.errorMsg {
 
86
pre.errorMsg {
130
87
    color: red;
131
88
    margin-top: 0em;
132
89
    margin-bottom: 0em;
133
90
}
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 {
 
91
pre.inputMsg {
 
92
    color: gray;
 
93
    margin-top: 0em;
 
94
    margin-bottom: 0em;
 
95
}
 
96
pre.outputMsg {
146
97
    margin-top: 0em;
147
98
    margin-bottom: 0em;
148
99
}