Please disable Adblockers and enable JavaScript for domain CEWebS.cs.univie.ac.at! We have NO ADS, but they may interfere with some of our course material.

Name: ui/lib/ui.css 
1:
/*
2:
  This file is part of CPEE.
3:
 
4:
  CPEE is free software: you can redistribute it and/or modify it under the terms
5:
  of the GNU General Public License as published by the Free Software Foundation,
6:
  either version 3 of the License, or (at your option) any later version.
7:
 
8:
  CPEE is distributed in the hope that it will be useful, but WITHOUT ANY
9:
  WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
10:
  PARTICULAR PURPOSE.  See the GNU General Public License for more details.
11:
 
12:
  You should have received a copy of the GNU General Public License along with
13:
  CPEE (file COPYING in the main directory).  If not, see
14:
  <http://www.gnu.org/licenses/>.
15:
*/
16:
 
17:
html, body {
18:
  font-family: sans-serif,Arial,Verdana,Helvetica;
19:
  font-size: 0.85em;
20:
}
21:
 
22:
body {
23:
  background-color:#FFFFFF;
24:
  padding:0;
25:
  margin:0;
26:
  color: #000000;
27:
  overflow: hidden;
28:
}
29:
 
30:
/* Browser Bug, set textarea explicitly */
31:
textarea, input, select, button {
32:
  font-family: Verdana, Helvetica, sans-serif;
33:
  font-size: 1em;
34:
  resize: none;
35:
}
36:
 
37:
input::-webkit-input-placeholder { color: red; }
38:
input:-moz-placeholder { color: red; }
39:
 
40:
a:link    { color:#425d73; text-decoration:none; }
41:
a:visited { color:#425d73; text-decoration:none; }
42:
a:hover   { color:#000000; text-decoration:underline; }
43:
a:active  { color:#000000; text-decoration:underline; }
44:
 
45:
div.tabbed table.tabbar {
46:
  padding: 0;
47:
  margin: 0;
48:
  margin-left: 1em;
49:
  margin-right: 1em;
50:
  margin-top: 1em;
51:
  border-spacing:0;
52:
  border-collapse: separate;
53:
}
54:
 
55:
div.tabbed.rest table.tabbar {
56:
  padding: 0;
57:
  margin: 0;
58:
  margin-left: 0em;
59:
  margin-right: 0em;
60:
  margin-top: 1.3em;
61:
  border-spacing:0;
62:
  border-collapse: separate;
63:
}
64:
 
65:
div.tabbed table.tabbar h1 {
66:
  font-size: 1.4em;
67:
  margin-top: 0em;
68:
  padding-top: 0em;
69:
  padding-bottom: 0em;
70:
}  
71:
 
72:
div.tabbed table.tabbar .switch h1:before {
73:
  content: "▽";
74:
  vertical-align:top;
75:
  color: ButtonText;
76:
}  
77:
div.tabbed table.tabbar .switch h1.margin:before {
78:
  content: "▶";
79:
  color: ButtonText;
80:
  vertical-align:top;
81:
}  
82:
 
83:
div.tabbed table.tabbar tr:first-child { height: 2.6em; }
84:
div.tabbed table.tabbar .tab {
85:
  cursor: pointer;
86:
  padding: 0em;
87:
  padding-left: 1em;
88:
  padding-right: 1em;
89:
  border: 1pt solid ButtonShadow;
90:
  border-bottom: 1pt solid white;
91:
  border-radius: 1em;
92:
  border-bottom-left-radius: 0em;
93:
  border-bottom-right-radius: 0em;
94:
  width:0%;
95:
  -moz-border-radius: 1em;
96:
  -moz-border-radius-bottomleft: 0em;
97:
  -moz-border-radius-bottomright: 0em;
98:
  -webkit-border-radius: 1em;
99:
  -webkit-border-bottom-left-radius: 0em;
100:
  -webkit-border-bottom-right-radius: 0em;
101:
}
102:
div.tabbed table.tabbar .tab.closeable .close { font-weight:bold; font-size: 1.2em; padding-left: 0.4em; }
103:
div.tabbed table.tabbar .tab.closeable .close:hover { color: red; }
104:
 
105:
div.tabbed table.tabbar .tab h1 {
106:
  margin-top: 0em;
107:
  margin-bottom: 0em;
108:
  padding-top: 0em;
109:
  padding-bottom: 0em;
110:
  white-space: nowrap;
111:
  display: inline;
112:
}
113:
div.tabbed table.tabbar .tab.inactive {
114:
  border: 1pt solid ButtonShadow;
115:
  border-radius: 1em;
116:
  border-bottom-left-radius: 0em;
117:
  border-bottom-right-radius: 0em;
118:
  -moz-border-radius: 1em;
119:
  -moz-border-radius-bottomleft: 0em;
120:
  -moz-border-radius-bottomright: 0em;
121:
  -webkit-border-radius: 1em;
122:
  -webkit-border-bottom-left-radius: 0em;
123:
  -webkit-border-bottom-right-radius: 0em;
124:
}
125:
 
126:
div.tabbed table.tabbar td.tabbehind {
127:
  vertical-align:bottom;
128:
  padding:0.2em 0em;
129:
  border-bottom: 1pt solid buttonshadow;
130:
  border-radius: 1em;
131:
  border-bottom-left-radius: 0em;
132:
  border-bottom-right-radius: 0em;
133:
  width:100%;
134:
  -moz-border-radius: 1em;
135:
  -moz-border-radius-bottomleft: 0em;
136:
  -moz-border-radius-bottomright: 0em;
137:
  -webkit-border-radius: 1em;
138:
  -webkit-border-bottom-left-radius: 0em;
139:
  -webkit-border-bottom-right-radius: 0em;
140:
  text-align:right;
141:
  white-space: nowrap;
142:
  overflow: hidden;
143:
}
144:
div.tabbed.rest table.tabbar td.tabbehind {
145:
  padding-right: 1em;
146:
}
147:
 
148:
div.tabbed table.tabbar td.tabbefore {
149:
  border-bottom: 1pt solid buttonshadow;
150:
  padding-left:1em;
151:
}
152:
 
153:
div.tabbed table.tabbar tr.border td {
154:
  height:0.1em;
155:
  background-color: ButtonShadow;
156:
  border-left: 1pt solid ButtonShadow;
157:
  border-right: 1pt solid ButtonShadow;
158:
  border-bottom: 1pt solid ButtonShadow;
159:
}
160:
 
161:
div.tabbed table.tabbar td.switch {
162:
  background-color: ButtonFace;
163:
  border-bottom: 1pt solid ButtonShadow;
164:
}
165:
 
166:
div.tabbed .tabbelow {
167:
  margin-left: 1em;
168:
  margin-right: 1em;
169:
  padding: 1em;
170:
  border-bottom: 1pt solid ButtonShadow;
171:
  border-left: 1pt solid ButtonShadow;
172:
  border-right: 1pt solid ButtonShadow;
173:
  border-radius: 1em;
174:
  border-top-left-radius: 0em;
175:
  border-top-right-radius: 0em;
176:
  -moz-border-radius: 1em;
177:
  -moz-border-radius-topleft: 0em;
178:
  -moz-border-radius-topright: 0em;
179:
  -webkit-border-radius: 1em;
180:
  -webkit-border-top-left-radius: 0em;
181:
  -webkit-border-top-right-radius: 0em;
182:
}
183:
 
184:
div.tabbed.rest .tabbelow {
185:
  /* to correctly set the height when resizing with changing height with $.height() -> include padding */
186:
  -moz-box-sizing:    border-box;
187:
  -webkit-box-sizing: border-box;
188:
  box-sizing:         border-box;
189:
 
190:
  padding: 1em;
191:
  margin: 0;
192:
  border-radius: 0;
193:
  border: 0 none;
194:
  -moz-border-radius: 0;
195:
  -webkit-border-radius: 0;
196:
 
197:
  overflow: auto;
198:
}
199:
 
200:
div.tabbed.rest .tabbelow.columns {
201:
  padding:0;
202:
  overflow: hidden;
203:
  border-collapse:collapse;
204:
  border-spacing:0;
205:
  width:100%
206:
}
207:
div.tabbed.rest .tabbelow.columns > tbody > tr > td {
208:
  margin: 0;
209:
  padding: 0;
210:
  border: 0 none;
211:
  vertical-align: top;
212:
}
213:
div.tabbed.rest .tabbelow.columns .column {
214:
  -moz-box-sizing:    border-box;
215:
  -webkit-box-sizing: border-box;
216:
  box-sizing:        border-box;
217:
 
218:
  margin:0;
219:
  padding: 1em;
220:
 
221:
  overflow: auto;
222:
  top: 0;
223:
}  
224:
 
225:
div.tabbed .tabbelow.inactive, div.tabbed .tabbelow .inactive { display: none; }
226:
div.tabbed .tabbelow .layout {
227:
  width: 100%;
228:
  border-collapse:collapse;
229:
  border-spacing:0;
230:
  border:0 none;
231:
  padding:0;
232:
  margin:0;
233:
}
234:
div.tabbed .tabbelow .layout td {
235:
  border:0 none;
236:
  padding:0;
237:
  margin:0;
238:
}
239:
div.tabbed .tabbelow .layout tr {
240:
  border:0 none;
241:
  padding:0;
242:
  margin:0;
243:
}
244:
div.tabbed .tabbelow .compact {
245:
  border-collapse:collapse;
246:
  border-spacing:0;
247:
  border:0 none;
248:
  padding:0;
249:
  margin:0;
250:
}
251:
 
252:
div.tabbed .tabbelow .compact td {
253:
  border:0 none;
254:
  padding:0;
255:
  margin:0;
256:
}
257:
div.tabbed .tabbelow .compact tr {
258:
  border:0 none;
259:
  padding:0;
260:
  margin:0;
261:
}
262:
div.tabbed .tabbelow .layout .fixed { white-space:nowrap; }
263:
div.tabbed .tabbelow .layout .top { vertical-align: top; }
264:
 
265:
.hidden {
266:
  display: none;
267:
}
268:
 
269:
.fixedstate {
270:
  background-color: white;
271:
  margin:0;
272:
  padding:1em;
273:
  position:fixed;
274:
  padding-top:0em;
275:
  bottom:0;
276:
  left:0;
277:
  right:0;
278:
}
279:
.fixedstate div.tabbed { margin-bottom:0; }