~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-29 23:52:19 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:329
Converted Console from an "app" into a "plugin". It can now be plugged in to
any app.
Added "plugins" directory in www. Added "console" plugin. This contains all of
the functionality of what was previously the console app, but modularized so
it can be imported by another app.

apps/console: Removed most of the logic (moved to plugins/console). Replaced
with a simple import of the console plugin. Should behave exactly the same.
apps/tutorial: As proof of concept, imported the console plugin. It now
appears at the bottom of the page (yet to make it have "pop up" behaviour).

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
1
#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 */
 
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: 15em;
75
 
    margin-bottom: 0.5em;
 
5
    margin-bottom: 4pt;
 
6
    padding: 4pt;
76
7
}
77
8
#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;
 
9
    /*border: solid green 1pt;*/
87
10
}
88
11
#console_prompt {
89
12
    font-family: monospace;
90
13
}
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 {
 
14
pre.errorMsg {
130
15
    color: red;
131
16
    margin-top: 0em;
132
17
    margin-bottom: 0em;
133
18
}
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 {
 
19
pre.inputMsg {
 
20
    color: gray;
 
21
    margin-top: 0em;
 
22
    margin-bottom: 0em;
 
23
}
 
24
pre.outputMsg {
146
25
    margin-top: 0em;
147
26
    margin-bottom: 0em;
148
27
}