← 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: mattgiuca
  • Date: 2008-01-28 23:04:08 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:315
trampoline/trampoline.c: Added 2 includes, which are required
for the "umask" function. (This wasn't a problem on Ubuntu 7.10 but is for
older versions).

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/console/console.css
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 */
 
1
#output {
 
2
    /*border: solid black 1pt;*/
 
3
    height: 24em;
62
4
    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: 20em;
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 {
 
5
    margin-bottom: 4pt;
 
6
    padding: 4pt;
 
7
}
 
8
#input {
 
9
    /*border: solid green 1pt;*/
 
10
}
 
11
#prompt {
89
12
    font-family: monospace;
90
13
}
91
 
#console_inputText {
92
 
    background-color: white;
93
 
    font-size: 80%;
94
 
    color: black;
95
 
    width: 90%;
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 {
 
14
pre.errorMsg {
130
15
    color: red;
131
16
    margin-top: 0em;
132
17
    margin-bottom: 0em;
133
18
}
134
 
*.inputMsg {
135
 
    color: #404040;
 
19
pre.inputMsg {
 
20
    color: gray;
136
21
    margin-top: 0em;
137
22
    margin-bottom: 0em;
138
23
}
139
 
*.outputMsg {
 
24
pre.outputMsg {
140
25
    margin-top: 0em;
141
26
    margin-bottom: 0em;
142
27
}