← 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-31 00:10:03 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:343
console: Small refactoring of how server starts up. Currently does not affect
behaviour, but makes it very easy to get the server to start lazily, when the
first line is entered. (Currently starts up on init, due to bug 1883194.)

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/console/console.css
 
1
#console_body {
 
2
    background-color: black;
 
3
    color: white;
 
4
    padding: 0;
 
5
    width: 100%;
 
6
}
 
7
/* console_body when displayed as a window panel and not the whole app */
 
8
#console_body.windowpane {
 
9
    position: fixed;
 
10
    bottom: 0;
 
11
    left: 0;
 
12
    right: 0;
 
13
    z-index: 1;     /* Go in front of console_filler */
 
14
}
 
15
#console_body2 {
 
16
    padding: 0.5em;
 
17
}
 
18
/* Heading bar */
 
19
#console_heading {
 
20
    background-color: gray;
 
21
    border: 2px solid black;
 
22
    padding: 2px;
 
23
    color: black;
 
24
    font-family: monospace;
 
25
    font-weight: bold;
 
26
}
 
27
/* If "minimized", console_heading and console_output are hidden */
 
28
#console_body.minimal #console_heading,
 
29
#console_body.minimal #console_output,
 
30
/* If "maximized", the maximize button is hidden */
 
31
#console_body.maximal .maximize {
 
32
    display: none;
 
33
}
 
34
/* Minimize/maximize button */
 
35
.console_button {
 
36
    cursor: pointer;    /* Display hand cursor, since this is a button */
 
37
    position: absolute;
 
38
    right: 0.5em;
 
39
}
 
40
#console_output {
 
41
    /*border: solid black 1pt;*/
 
42
    height: 20em;
 
43
    overflow: scroll;
 
44
    margin-bottom: 0.5em;
 
45
}
 
46
#console_input {
 
47
    /*border: solid green 1pt;*/
 
48
}
 
49
#console_prompt {
 
50
    font-family: monospace;
 
51
}
 
52
#console_inputText {
 
53
    background-color: black;
 
54
    color: white;
 
55
    width: 90%;
 
56
}
 
57
/* console filler takes up the same space as console_body.windowpane
 
58
 * but its position is relative, not fixed.
 
59
 * This avoids having the console overlap with the bottom 28em of page
 
60
 * content.
 
61
 * It has two classes. "windowpane" turns it on. "minimal" or "maximal"
 
62
 * control its height.
 
63
 */
 
64
#console_filler {
 
65
    display: none;
 
66
}
 
67
#console_filler.windowpane {
 
68
    display: block;
 
69
    z-index: -1;        /* Go behind the actual console */
 
70
    width: 100%;
 
71
    position: relative;
 
72
    bottom: 0;
 
73
    left: 0;
 
74
    right: 0;
 
75
}
 
76
#console_filler.maximal {
 
77
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
 
78
     */
 
79
    height: 24em;
 
80
}
 
81
#console_filler.minimal {
 
82
    /* total height of console = 1em + 0.5em + 0.5em
 
83
     */
 
84
    height: 2em;
 
85
}
 
86
pre.errorMsg {
 
87
    color: red;
 
88
    margin-top: 0em;
 
89
    margin-bottom: 0em;
 
90
}
 
91
pre.inputMsg {
 
92
    color: gray;
 
93
    margin-top: 0em;
 
94
    margin-bottom: 0em;
 
95
}
 
96
pre.outputMsg {
 
97
    margin-top: 0em;
 
98
    margin-bottom: 0em;
 
99
}