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

« back to all changes in this revision

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

  • Committer: me at id
  • Date: 2009-01-15 01:29:07 UTC
  • mto: This revision was merged to the branch mainline in revision 1090.
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:branches%2Fstorm:1147
ivle.makeuser: Don't create a local.auth. It wasn't used anywhere, and seems
    to have only been there for historical reasons.
setup.configure: Remove svn_auth_local from the config.py boilerplate; it was
    used solely by ivle.makeuser.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
1
#console_body {
2
2
    background-color: white;
3
3
    position: absolute;
 
4
    font-size: 150%;
4
5
    color: black;
5
6
    padding: 0;
6
7
    width: 100%;
22
23
#console_body.windowpane #console_body2 {
23
24
    /* Need some padding in windowpane mode */
24
25
    /* (In full mode, things are positioned absolutely) */
25
 
    padding: 0.2em;
 
26
    padding: 0.5em;
26
27
}
27
28
/* Heading bar */
28
29
#console_heading {
51
52
    /*margin-bottom: 0.5em;*/
52
53
    position: absolute;
53
54
    /* 2em is to accomodate the header bar, and some padding */
54
 
    top: 3.4em;
 
55
    top: 2em;
55
56
    /* 2.5em is to accomodate the input bar, and padding either side */
56
57
    bottom: 2.5em;
57
 
    left: 0;
58
 
    right: 0;
 
58
    /* left and right 0.5em are just for horizontal padding */
 
59
    left: 0.5em;
 
60
    right: 0.5em;
59
61
    /* Display scroll bars */
60
62
    overflow: scroll;
61
63
    /* Some browsers support overflow-x and overflow-y. In this case, use
64
66
     * horizontal scroll bar).
65
67
     */
66
68
    overflow-x: auto;
67
 
    padding: 0.5em;
68
 
    /* On some displays, monospace font is much smaller than everything else.
69
 
     * We just set the console font to 13px to appear a bit bigger (this is
70
 
     * the same size as the editor's font).
71
 
     */
72
 
    font-size: 13px;
73
69
}
74
70
#console_body.windowpane #console_output {
75
71
    /* Don't want this absolutely positioned in windowpane mode */
76
72
    position: static;
77
 
    /* Make it a bit higher up, because the header is thinner in this mode */
78
 
    top: 2em;
79
73
    /* Give it an explicit height instead */
80
74
    height: 15em;
81
75
    margin-bottom: 0.5em;
82
76
}
83
 
 
84
 
#console_body.windowpane.maximal, #console_body.windowpane #console_heading {
85
 
    -moz-border-radius-topleft: 10px;
86
 
    -moz-border-radius-topright: 10px;
87
 
}
88
 
 
89
77
#console_input {
90
78
    position: absolute;
91
79
    /* Input bar goes along the bottom. Pad all sides */
93
81
    right: 0.5em;
94
82
    bottom: 0.5em;
95
83
}
96
 
 
97
84
#console_body.windowpane #console_input {
98
85
    /* Don't want this absolutely positioned in windowpane mode */
99
86
    position: static;
102
89
    font-family: monospace;
103
90
}
104
91
#console_inputText {
105
 
    font-family: monospace;
 
92
    background-color: white;
 
93
    font-size: 80%;
 
94
    color: black;
106
95
    width: 75%;
107
96
}
108
 
 
 
97
#console_inputText.disabled {
 
98
    background-color: #aaa;
 
99
}
109
100
/* console filler takes up the same space as console_body.windowpane
110
101
 * but its position is relative, not fixed.
111
102
 * This avoids having the console overlap with the bottom 28em of page
126
117
    right: 0;
127
118
}
128
119
#console_filler.maximal {
129
 
    /* Trial and error is useful to work this out. */
130
 
    height: 14em;
 
120
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
 
121
     */
 
122
    height: 24em;
131
123
}
132
124
#console_filler.minimal {
133
 
    /* Trial and error is useful to work this out. */
134
 
    height: 1em;
 
125
    /* total height of console = 1em + 0.5em + 0.5em
 
126
     */
 
127
    height: 2em;
135
128
}
136
129
*.errorMsg {
137
130
    color: red;