Name: cockpit/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:
}
7:
 
8:
 
9:
#areanew                       { height: 7em; }
10:
#areanew td:nth-child(1)       { width: 7em; padding-right: 1em; }
11:
#areanew td:nth-child(3)       { width: 16em; padding-left: 1em; }
12:
#areanew input                 { width: 100%;  }
13:
#areanew button[name=base]     { width: 100%;  }
14:
#areanew button[name=instance] { width: 100%;  }
15:
 
16:
div.tabbed table.tabbar td.tabbehind input {
17:
  border: 0 none;
18:
  text-align: right;
19:
  width: 100%;
20:
}
21:
 
22:
div.tabbed table.tabbar td.tabbehind button {
23:
  border: 1pt solid buttonshadow;
24:
  margin-left: 0.5em;
25:
}
26:
 
27:
button.highlight { background-color: #cc0000; }
28:
 
29:
#parameters .tabbelow { height: 9em; min-height: 1.7em; }
30:
 
31:
#areadataelements { height: 100%; overflow-x: hidden; overflow-y: scroll; }
32:
#areaendpoints    { height: 100%; overflow: auto; }
33:
 
34:
#areainstance                       { height: 7em; overflow: hidden; }
35:
#areainstance input                 { padding: 0; margin:0; }
36:
#areainstance button                { white-space:nowrap; }
37:
#areainstance select                { width: 18em; }
38:
#areainstance input[type=file]      { width: 18em; }
39:
 
40:
#areainstance table.compact { width: 100% }
41:
 
42:
#areainstance table.compact tbody.loadsave td:nth-child(2)        { padding-right: 0.5em; }
43:
#areainstance table.compact tbody.loadsave td:nth-child(3)        { padding: 0 0.5em; border-left: 1px solid ButtonShadow; }
44:
#areainstance table.compact tbody.loadsave td:nth-child(3) button { height: 5em; width: 15ex; }
45:
#areainstance table.compact tbody.loadsave td:nth-child(4)        { padding: 0 0.5em; border-left: 1px solid ButtonShadow; }
46:
#areainstance table.compact tbody.loadsave td:nth-child(4) button { height: 5em; width: 15ex; }
47:
 
48:
#areainstance table.compact button[name=loadtestsetfile]   { width: 12em; }
49:
#areainstance table.compact button[name=loadtestset]       { width: 12em; }
50:
#areainstance table.compact button[name=loadmodelfile]     { width: 12em; }
51:
 
52:
#areainstance table.compact:first-child tr td:nth-child(1) { width: 15ex; }
53:
 
54:
#areainstance table.compact:last-child tr td:nth-child(1) { width: 18em; }
55:
#areainstance table.compact:last-child tr td:nth-child(2) { width: 12em; }
56:
#areainstance table.compact:last-child tr td:nth-child(3) { width: 15ex; }
57:
 
58:
#areaexecution { height: 7em; overflow: auto; }
59:
#areaexecution input { padding: 0; margin:0; }
60:
#areaexecution table.compact { width: 100%; }
61:
#areaexecution table.compact tr td:nth-child(1) { width: 15ex; }
62:
 
63:
#areaexecution table.compact tbody.debug tr:last-child td { padding-bottom: 0.5em; }
64:
#areaexecution table.compact tbody.exe tr:first-child td { padding-top: 0.5em; }
65:
#areaexecution table.compact tbody.exe { 1em; border-top: 1px solid ButtonShadow; }
66:
 
67:
#areaexecution table.compact tbody.exe td { height: 2.2em; }
68:
 
69:
#dat_log { width:100%; }
70:
#dat_log td { vertical-align: top; }
71:
#dat_log tr:nth-child(odd) { background-color: ButtonFace; color: ButtonText; }
72:
 
73:
#areadetails { table-layout: fixed; }
74:
 
75:
#dat_endpoints {
76:
  border-collapse:collapse;
77:
  border-spacing:0;
78:
  border:0 none;
79:
  margin:0;
80:
  padding:0;
81:
  width: 100%;
82:
}
83:
#dat_endpoints button                  { border: 1pt solid buttonshadow; padding: 0; }
84:
#dat_endpoints td:nth-child(1)         { width: 1.2em; font-size: 1.3em; font-weight: bold; }
85:
#dat_endpoints td:nth-child(2)         { width: 8em; }
86:
#dat_endpoints td:nth-child(3)         { width: 1em; }
87:
#dat_endpoints tr:nth-child(odd)       { background-color: ButtonFace; color: ButtonText; }
88:
#dat_endpoints tr:nth-child(odd) input { background-color: ButtonFace; }
89:
#dat_endpoints input                   { border: 0 none; padding: 0; margin: 0; }
90:
#dat_endpoints input:first-child       { border: 0 none; width: 8em; }  
91:
#dat_endpoints input:last-child        { border: 0 none; width: 100%; }
92:
 
93:
#dat_dataelements {
94:
  border-collapse:collapse;
95:
  border-spacing:0;
96:
  border:0 none;
97:
  margin:0;
98:
  padding:0;
99:
  width: 100%;
100:
}
101:
#dat_dataelements button                  { border: 1pt solid buttonshadow; padding: 0; }
102:
#dat_dataelements td:nth-child(1)         { width: 1.2em; font-size: 1.3em; font-weight: bold;}
103:
#dat_dataelements td:nth-child(2)         { width: 8em; }
104:
#dat_dataelements td:nth-child(3)         { width: 1em; }
105:
#dat_dataelements tr:nth-child(odd)       { background-color: ButtonFace; color: ButtonText; }
106:
#dat_dataelements tr:nth-child(odd) input { background-color: ButtonFace; }
107:
#dat_dataelements input                   { border: 0 none; padding: 0; margin: 0; }
108:
#dat_dataelements input:first-child       { border: 0 none; width: 8em; }  
109:
#dat_dataelements input:last-child        { border: 0 none; width: 100%; }
110:
 
111:
#areadsl pre {
112:
  margin: 1em;
113:
  font-family: monospace;
114:
  font-size:1.3em;
115:
}
116:
 
117:
span.active {
118:
  font-weight: bold;
119:
  color: #cc0000;
120:
}
121:
span.passive {
122:
  font-weight: bold;
123:
  color: #3465a4;
124:
}
125:
span.vote {
126:
  font-weight: bold;
127:
  color: #73d216;
128:
}
129:
 
130:
#detailcolumn { width: 50%; }
131:
#detailcolumn .column { padding-left: 2em; }
132:
#graphcolumn { margin: 0; padding: 0; border-right: 1pt solid ButtonShadow; min-width: 9em; }
133:
#graphcolumn .column { margin: 0; padding: 0; }
134:
 
135:
.ui-resizable-handle {
136:
  z-index: 99999;
137:
  color: ButtonShadow;
138:
  position: absolute;
139:
  white-space:nowrap;
140:
}
141:
.ui-resizable-w {
142:
  cursor: w-resize;
143:
  -webkit-transform: rotate(90deg);
144:
  -webkit-transform-origin: 0% 100%;
145:
  -moz-transform: rotate(90deg);
146:
  -moz-transform-origin: left bottom;
147:
  margin-top: -1em;
148:
  margin-left: 0.3em;
149:
}
150:
.ui-resizable-s {
151:
  right:2em;
152:
  cursor: s-resize;
153:
  text-align: right;
154:
  margin-top: 1.1em;
155:
}
156:
 
157:
#dat_details {
158:
  border-collapse:collapse;
159:
  border-spacing:0;
160:
  border:0 none;
161:
  margin:0;
162:
  padding:0;
163:
  width: 100%;
164:
}
165:
#dat_details td.del                     { width: 1.2em; }
166:
#dat_details td.del a                   { font-size: 1.3em; font-weight: bold; }
167:
#dat_details td.pname                   { width: 7em;    vertical-align: top; }
168:
#dat_details td.cname                   { width: 10.2em; vertical-align: top; padding-top:0.25em; }
169:
#dat_details td.sep                     { width: 1em;    vertical-align: top; padding-top:0.25em; }
170:
#dat_details tr.indent td:nth-child(1)  { padding-left: 2em;}
171:
#dat_details tr:nth-child(odd) input    { background-color: ButtonFace; }
172:
#dat_details tr:nth-child(odd) textarea { background-color: ButtonFace; }
173:
#dat_details tr:nth-child(odd) select   { background-color: ButtonFace; }
174:
#dat_details tr:nth-child(even) select  { background-color: white; }
175:
#dat_details input                      { border: 0 none; width: 100%; padding: 0; margin: 0; }
176:
#dat_details select                     { border: 0 none; width: 100%; padding: 0; margin: 0; }
177:
#dat_details textarea                   { border: 0 none; width: 100%; padding: 0; margin: 0; }
178:
#dat_details tr.header td               { padding-bottom:0.2em; padding-top: 0.6em; }
179:
#dat_details tr.sizer td                { padding:0; margin:0; }
180:
 
181:
#dat_details tr:nth-child(odd) { background-color: ButtonFace; color: ButtonText; }
182:
#dat_details .header button { border: 1pt solid buttonshadow; }
183:
 
184:
#disclaimer { margin: 1em; }
185:
#disclaimer p { max-width: 80ex; text-align: justify; }
186:
#disclaimer input { margin:0; padding:0; vertical-align:bottom; margin-right: 0.5em; }