~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: 2010-02-18 03:31:47 UTC
  • Revision ID: grantw@unimelb.edu.au-20100218033147-z1es9tzrx7eg85gu
Ensure that we always close the DB connection at request termination, even in the case of an exception.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
.console_body {
 
1
#console_body {
2
2
    background-color: white;
3
3
    position: absolute;
4
4
    color: black;
8
8
    bottom: 0;
9
9
}
10
10
/* console_body when displayed as a window panel and not the whole app */
11
 
.console_body.windowpane {
 
11
#console_body.windowpane {
12
12
    position: fixed;
13
13
    top: auto;      /* Do not fix to top */
14
14
    bottom: 0;
16
16
    right: 0;
17
17
    z-index: 1;     /* Go in front of console_filler */
18
18
}
19
 
.console_body.windowpane.minimal {
 
19
#console_body.windowpane.minimal {
20
20
    border-top: 1px solid black;
21
21
}
22
 
.console_body.windowpane .console_body2 {
 
22
#console_body.windowpane #console_body2 {
23
23
    /* Need some padding in windowpane mode */
24
24
    /* (In full mode, things are positioned absolutely) */
25
25
    padding: 0.2em;
26
26
}
27
 
 
28
 
.console_help_example_body {
29
 
    border: 1px solid black;
30
 
    border-top: none;
31
 
    padding-bottom: 0.5em;
32
 
}
33
 
 
34
27
/* Heading bar */
35
 
.console_heading {
 
28
#console_heading {
36
29
    background-color: gray;
37
30
    border: 2px solid black;
38
31
    padding: 2px;
41
34
    font-weight: bold;
42
35
}
43
36
/* If "minimized", console_heading and console_output are hidden */
44
 
.console_body.minimal .console_heading,
45
 
.console_body.minimal .console_output,
 
37
#console_body.minimal #console_heading,
 
38
#console_body.minimal #console_output,
46
39
/* If "maximized", the maximize button is hidden */
47
 
.console_body.maximal .maximize {
 
40
#console_body.maximal .maximize {
48
41
    display: none;
49
42
}
50
43
/* Minimize/maximize button */
53
46
    position: absolute;
54
47
    right: 0.5em;
55
48
}
56
 
.console_output {
 
49
#console_output {
57
50
    /*height: 20em;*/       /* Might be needed for windowpane mode */
58
51
    /*margin-bottom: 0.5em;*/
59
52
    position: absolute;
78
71
     */
79
72
    font-size: 13px;
80
73
}
81
 
.console_body.windowpane .console_output {
 
74
#console_body.windowpane #console_output {
82
75
    /* Don't want this absolutely positioned in windowpane mode */
83
76
    position: static;
84
77
    /* Make it a bit higher up, because the header is thinner in this mode */
88
81
    margin-bottom: 0.5em;
89
82
}
90
83
 
91
 
.console_help_example .console_output {
92
 
    position: relative;
93
 
    top: 0;
94
 
    height: auto;
95
 
}
96
 
 
97
 
.console_body.windowpane.maximal, .console_body.windowpane .console_heading,
98
 
.console_help_example .console_heading {
 
84
#console_body.windowpane.maximal, #console_body.windowpane #console_heading {
99
85
    -moz-border-radius-topleft: 10px;
100
86
    -moz-border-radius-topright: 10px;
101
87
    -webkit-border-top-left-radius: 10px;
104
90
    border-top-right-radius: 10px;
105
91
}
106
92
 
107
 
.console_input {
 
93
#console_input {
108
94
    position: absolute;
109
95
    /* Input bar goes along the bottom. Pad all sides */
110
96
    bottom: 0.5em;
114
100
    font-size: 13px;
115
101
}
116
102
 
117
 
.console_help_example .console_input {
118
 
    position: relative;
119
 
    bottom: 0;
120
 
}
121
 
 
122
 
.console_input > div {
 
103
#console_input > div {
123
104
    display: table-row;
124
105
}
125
106
 
126
 
.console_input > div > * {
 
107
#console_input > div > * {
127
108
    display: table-cell;
128
109
 
129
110
    /* Don't let the buttons wrap onto multiple lines.
132
113
    white-space: nowrap;
133
114
}
134
115
 
135
 
.console_input > div > .console_button {
 
116
#console_input > div > .console_button {
136
117
    /* If the console button is in a cell, don't float */
137
118
    position: static !important;
138
119
    padding: 0 0.2em;
139
120
}
140
121
 
141
 
.console_inputCell {
 
122
#console_inputCell {
142
123
    width: 100%;
143
124
    padding-right: 0.5em;
144
125
}
145
126
 
146
 
.console_body.windowpane .console_input {
 
127
#console_body.windowpane #console_input {
147
128
    /* Don't want this absolutely positioned in windowpane mode */
148
129
    position: static;
149
130
}
150
 
.console_prompt {
 
131
#console_prompt {
151
132
    font-family: monospace;
152
133
    font-weight: bold;
153
134
    white-space: pre;
154
135
}
155
 
.console_inputText {
 
136
#console_inputText {
156
137
    font-family: monospace;
157
138
    width: 100%;
158
139
}