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/css/ui.css 
1:
body {
2:
  -webkit-user-select: none;
3:
  -moz-user-select: -moz-none;
4:
  -ms-user-select: none;
5:
  user-select: none;
6:
  font-family: sans-serif;
7:
  font-size: 1em;
8:
}
9:
 
10:
button {
11:
  padding: .5em 2em .55em;
12:
  border: 1px solid ButtonShadow;
13:
  border-radius: 0.2em;
14:
  padding: 0px;
15:
  margin: 0;
16:
  font-family: sans-serif;
17:
  font-size: 0.9em;
18:
  background: ButtonFace;
19:
  background: -webkit-gradient(linear, left top, left bottom, from(ButtonHighlight), to(ButtonFace));
20:
  background: -moz-linear-gradient(top, ButtonHighlight, ButtonFace);
21:
}
22:
input { font-family: sans-serif; font-size: 1em; }
23:
 
24:
 
25:
#areaorganisation                       { height: 7em; }
26:
#areaorganisation input                 {
27:
  width: 100%;
28:
  box-sizing: border-box;
29:
  -moz-box-sizing: border-box;
30:
  -webkit-box-sizing: border-box;
31:
}
32:
#areaorganisation td:nth-child(1)       { width: 7em; padding-right: 1em; }
33:
#areaorganisation td:nth-child(3)       { width: 16em; padding-left: 1em; }
34:
 
35:
 
36:
#areaconfigure                       { height: 7em; }
37:
#areaconfigure td:nth-child(1)       { width: 7em; padding-right: 1em; }
38:
#areaconfigure td:nth-child(3)       { width: 16em; padding-left: 1em; }
39:
#areaconfigure input                 {
40:
  width: 100%;
41:
  box-sizing: border-box;
42:
  -moz-box-sizing: border-box;
43:
  -webkit-box-sizing: border-box;
44:
}
45:
#areaconfigure button[name=base]     { width: 100%;  }
46:
#areaconfigure button[name=instance] { width: 100%;  }
47:
 
48:
#arealogin                       { height: 7em; }
49:
#arealogin td:nth-child(1)       { width: 7em; padding-right: 1em; }
50:
#arealogin td:nth-child(3)       { width: 10em; padding-left: 1em; }
51:
#arealogin form                  { border: 0 none; }
52:
#arealogin input                 {
53:
  width: 100%;
54:
  box-sizing: border-box;
55:
  -moz-box-sizing: border-box;
56:
  -webkit-box-sizing: border-box;
57:
}
58:
#arealogin button[name=getListBt]     { width: 100%;  }
59:
 
60:
div.tabbed table.tabbar td.tabbehind input {
61:
  border: 0 none;
62:
  text-align: right;
63:
  width: 100%;
64:
}
65:
 
66:
div.tabbed table.tabbar td.tabbehind button {
67:
  margin-left: 0.5em;
68:
}
69:
 
70:
button.highlight { background-color: #cc0000; }
71:
 
72:
#parameters .tabbelow { height: 9em; min-height: 1.7em; }
73:
 
74:
#areatasks { height: 100%; overflow-x: hidden; overflow-y: scroll; }
75:
#dat_tasks {
76:
  border-collapse:collapse;
77:
  border-spacing:0;
78:
  border:1em solid white;
79:
  margin:0;
80:
  padding:0;
81:
  width: 100%;
82:
}
83:
#dat_tasks button                  { border: 1pt solid buttonshadow; padding: 0; }
84:
#dat_tasks td:nth-child(1)         { width: 32ex; }
85:
#dat_tasks td:nth-child(2)         { width: 1em; }
86:
#dat_tasks tr:nth-child(odd)       { background-color: ButtonFace; color: ButtonText; }
87:
#dat_tasks tr:nth-child(odd) input { background-color: ButtonFace; }
88:
 
89:
span.active {
90:
  font-weight: bold;
91:
  color: #cc0000;
92:
}
93:
span.passive {
94:
  font-weight: bold;
95:
  color: #3465a4;
96:
}
97:
span.vote {
98:
  font-weight: bold;
99:
  color: #73d216;
100:
}
101:
 
102:
.ui-resizable-handle {
103:
  z-index: 99999;
104:
  color: ButtonShadow;
105:
  position: absolute;
106:
  white-space:nowrap;
107:
}
108:
.ui-resizable-w {
109:
  cursor: w-resize;
110:
  -webkit-transform: rotate(90deg);
111:
  -webkit-transform-origin: 0% 100%;
112:
  -moz-transform: rotate(90deg);
113:
  -moz-transform-origin: left bottom;
114:
  margin-top: -1em;
115:
  margin-left: 0.3em;
116:
}
117:
.ui-resizable-s {
118:
  right:2em;
119:
  cursor: s-resize;
120:
  text-align: right;
121:
  margin-top: 1.1em;
122:
}
123:
ui-area > form {
124:
  border: 1em solid white;
125:
}
126:
#areaorganisation ul{
127:
  margin: 0;
128:
  padding: 0;
129:
  padding-left: 1em;
130:
}