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

« back to all changes in this revision

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

  • Committer: wagrant
  • Date: 2008-08-09 06:02:40 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:999
browser (help): Document that Ctrl+S saves.

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
}