← Back to branch summary

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

« back to all changes in this revision

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

  • Committer: drtomc
  • Date: 2008-01-30 22:53:00 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:340
Mostly fix the block-of-text to the console problem. The tutorial system should call "block" rather than "chat" to send the block of text.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/console/console.css
1
1
#console_body {
2
 
    background-color: white;
3
 
    position: absolute;
4
 
    color: black;
 
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
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;
 
15
#console_body2 {
 
16
    padding: 0.5em;
26
17
}
27
18
/* Heading bar */
28
19
#console_heading {
47
38
    right: 0.5em;
48
39
}
49
40
#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 */
 
41
    /*border: solid black 1pt;*/
 
42
    height: 20em;
60
43
    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
44
    margin-bottom: 0.5em;
82
45
}
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
46
#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
 
}
96
 
 
97
 
#console_body.windowpane #console_input {
98
 
    /* Don't want this absolutely positioned in windowpane mode */
99
 
    position: static;
 
47
    /*border: solid green 1pt;*/
100
48
}
101
49
#console_prompt {
102
50
    font-family: monospace;
103
51
}
104
52
#console_inputText {
105
 
    font-family: monospace;
106
 
    width: 75%;
 
53
    background-color: black;
 
54
    color: white;
 
55
    width: 90%;
107
56
}
108
 
 
109
57
/* console filler takes up the same space as console_body.windowpane
110
58
 * but its position is relative, not fixed.
111
59
 * This avoids having the console overlap with the bottom 28em of page
126
74
    right: 0;
127
75
}
128
76
#console_filler.maximal {
129
 
    /* Trial and error is useful to work this out. */
130
 
    height: 14em;
 
77
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
 
78
     */
 
79
    height: 24em;
131
80
}
132
81
#console_filler.minimal {
133
 
    /* Trial and error is useful to work this out. */
134
 
    height: 1em;
 
82
    /* total height of console = 1em + 0.5em + 0.5em
 
83
     */
 
84
    height: 2em;
135
85
}
136
 
*.errorMsg {
 
86
pre.errorMsg {
137
87
    color: red;
138
88
    margin-top: 0em;
139
89
    margin-bottom: 0em;
140
90
}
141
 
*.inputPrompt {
142
 
    color: #800;    /* Deep red */
143
 
    font-weight: bold;
144
 
    margin-top: 0em;
145
 
    margin-bottom: 0em;
146
 
}
147
 
*.inputMsg {
148
 
    color: #404040;
149
 
    margin-top: 0em;
150
 
    margin-bottom: 0em;
151
 
}
152
 
*.outputMsg {
 
91
pre.inputMsg {
 
92
    color: gray;
 
93
    margin-top: 0em;
 
94
    margin-bottom: 0em;
 
95
}
 
96
pre.outputMsg {
153
97
    margin-top: 0em;
154
98
    margin-bottom: 0em;
155
99
}