~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 20:53:22 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:336
Rename main.c to test.c. Should have been that in the first place - I was tired when I did it last night.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
#output {
 
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 {
2
41
    /*border: solid black 1pt;*/
3
 
    height: 24em;
 
42
    height: 20em;
4
43
    overflow: scroll;
5
 
    margin-bottom: 4pt;
6
 
    padding: 4pt;
 
44
    margin-bottom: 0.5em;
7
45
}
8
 
#input {
 
46
#console_input {
9
47
    /*border: solid green 1pt;*/
10
48
}
11
 
#prompt {
 
49
#console_prompt {
12
50
    font-family: monospace;
13
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
}
14
86
pre.errorMsg {
15
87
    color: red;
16
88
    margin-top: 0em;