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

« back to all changes in this revision

Viewing changes to ivle/webapp/console/media/console.css

  • Committer: William Grant
  • Date: 2009-02-24 06:01:52 UTC
  • mfrom: (1099.5.5 new-dispatch)
  • mto: This revision was merged to the branch mainline in revision 1119.
  • Revision ID: grantw@unimelb.edu.au-20090224060152-136r6lj6zc2eaexp
Merge my console and tutorial changes.

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%;
5
4
    color: black;
6
5
    padding: 0;
7
6
    width: 100%;
23
22
#console_body.windowpane #console_body2 {
24
23
    /* Need some padding in windowpane mode */
25
24
    /* (In full mode, things are positioned absolutely) */
26
 
    padding: 0.5em;
 
25
    padding: 0.2em;
27
26
}
28
27
/* Heading bar */
29
28
#console_heading {
74
73
    height: 15em;
75
74
    margin-bottom: 0.5em;
76
75
}
 
76
 
 
77
#console_body.windowpane.maximal, #console_body.windowpane #console_heading {
 
78
    -moz-border-radius-topleft: 10px;
 
79
    -moz-border-radius-topright: 10px;
 
80
}
 
81
 
77
82
#console_input {
78
83
    position: absolute;
79
84
    /* Input bar goes along the bottom. Pad all sides */
81
86
    right: 0.5em;
82
87
    bottom: 0.5em;
83
88
}
 
89
 
84
90
#console_body.windowpane #console_input {
85
91
    /* Don't want this absolutely positioned in windowpane mode */
86
92
    position: static;
89
95
    font-family: monospace;
90
96
}
91
97
#console_inputText {
92
 
    background-color: white;
93
 
    font-size: 80%;
94
 
    color: black;
 
98
    font-family: monospace;
95
99
    width: 75%;
96
100
}
97
 
#console_inputText.disabled {
98
 
    background-color: #aaa;
99
 
}
 
101
 
100
102
/* console filler takes up the same space as console_body.windowpane
101
103
 * but its position is relative, not fixed.
102
104
 * This avoids having the console overlap with the bottom 28em of page
117
119
    right: 0;
118
120
}
119
121
#console_filler.maximal {
120
 
    /* total height of console = 20em + 1em + 0.5em + 0.5em + 0.5em + 1em + borders
121
 
     */
122
 
    height: 24em;
 
122
    /* Trial and error is useful to work this out. */
 
123
    height: 14em;
123
124
}
124
125
#console_filler.minimal {
125
 
    /* total height of console = 1em + 0.5em + 0.5em
126
 
     */
127
 
    height: 2em;
 
126
    /* Trial and error is useful to work this out. */
 
127
    height: 1em;
128
128
}
129
129
*.errorMsg {
130
130
    color: red;