3 default_font "dejavu-12.font";
9 border { top 2; right 3; bottom 4; left 2; };
10 shadow { top 0; right 1; bottom 2; left 0; };
13 graphic "greybuttondown"
17 border { top 2; right 3; bottom 4; left 2; };
18 shadow { top 0; right 1; bottom 2; left 0; };
25 border { top 2; right 3; bottom 4; left 2; };
26 shadow { top 0; right 1; bottom 2; left 0; };
29 graphic "greenbuttondown"
33 border { top 2; right 3; bottom 4; left 2; };
34 shadow { top 0; right 1; bottom 2; left 0; };
41 border { top 2; right 3; bottom 4; left 2; };
42 shadow { top 0; right 1; bottom 2; left 0; };
45 graphic "redbuttondown"
49 border { top 2; right 3; bottom 4; left 2; };
50 shadow { top 0; right 1; bottom 2; left 0; };
57 border { top 2; right 2; bottom 2; left 2; };
64 border { top 2; right 2; bottom 2; left 2; };
77 border { top 4; right 20; bottom 4; left 2; };
80 graphic "dropdownarrow"
92 graphic "yellowlamplit"
104 graphic "greenlamplit"
122 graphic "digidisplay"
126 border { top 5; right 5; bottom 5; left 5; };
133 border { top 2; right 2; bottom 2; left 2; };
136 graphic "hsliderslot"
140 border { top 0; right 5; bottom 0; left 5; };
143 graphic "hsliderknob"
147 shadow { top 0; right 2; bottom 3; left 0; };
154 shadow { top 0; right 2; bottom 3; left 0; };
161 shadow { top 0; right 2; bottom 3; left 0; };
170 graphic NORMAL "greybutton";
171 graphic ACTIVE "greybuttondown";
189 graphic NORMAL "greenbutton";
190 graphic ACTIVE "greenbuttondown";
208 graphic NORMAL "redbutton";
209 graphic ACTIVE "redbuttondown";
223 font_color 0.0 0.0 0.0;
235 graphic NORMAL "switchdown";
236 graphic ACTIVE "switchup";
244 graphic NORMAL "panelbg";
253 graphic NORMAL "yellowlamp";
254 graphic ACTIVE "yellowlamplit";
260 style "indicator-green"
264 graphic NORMAL "greenlamp";
265 graphic ACTIVE "greenlamplit";
271 style "indicator-red"
275 graphic NORMAL "redlamp";
276 graphic ACTIVE "redlamplit";
288 style "label-digital"
290 font "digitalreadout-16.font";
291 font_color 0.3 1 0.3;
295 graphic NORMAL "digidisplay";
305 style "label-tooltip"
307 font_color 0.0 0.0 0.0;
311 graphic NORMAL "tooltip";
318 margin { top 2; right 2; bottom 2; left 2; };
326 graphic NORMAL "hsliderslot";
332 graphic NORMAL "hsliderknob";
343 graphic NORMAL "entrybg";
350 margin { left 3; right 3; };
355 graphic FOCUS "entrycursor";
358 margin { left 3; right 3; };
369 font_color 0.0 0.0 0.0;
373 graphic NORMAL "dropdownbg";
378 graphic NORMAL "dropdownarrow";
396 font_color 0.0 0.0 0.0;
400 graphic NORMAL "entrybg";
405 margin { top 2; right 2; bottom 2; left 2; };