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; };
129 graphic "hsliderslot"
133 border { top 0; right 5; bottom 0; left 5; };
136 graphic "hsliderknob"
140 shadow { top 0; right 2; bottom 3; left 0; };
147 shadow { top 0; right 2; bottom 3; left 0; };
154 shadow { top 0; right 2; bottom 3; left 0; };
163 graphic NORMAL "greybutton";
164 graphic ACTIVE "greybuttondown";
182 graphic NORMAL "greenbutton";
183 graphic ACTIVE "greenbuttondown";
201 graphic NORMAL "redbutton";
202 graphic ACTIVE "redbuttondown";
216 font_color 0.0 0.0 0.0;
228 graphic NORMAL "switchdown";
229 graphic ACTIVE "switchup";
237 graphic NORMAL "panelbg";
246 graphic NORMAL "yellowlamp";
247 graphic ACTIVE "yellowlamplit";
253 style "indicator-green"
257 graphic NORMAL "greenlamp";
258 graphic ACTIVE "greenlamplit";
264 style "indicator-red"
268 graphic NORMAL "redlamp";
269 graphic ACTIVE "redlamplit";
281 style "label-digital"
283 font "digitalreadout-16.font";
284 font_color 0.3 1 0.3;
288 graphic NORMAL "digidisplay";
302 graphic NORMAL "hsliderslot";
308 graphic NORMAL "hsliderknob";
319 graphic NORMAL "entrybg";
326 margin { left 3; right 3; };
331 graphic FOCUS "entrycursor";
334 margin { left 3; right 3; };
345 font_color 0.0 0.0 0.0;
349 graphic NORMAL "dropdownbg";
354 graphic NORMAL "dropdownarrow";
372 font_color 0.0 0.0 0.0;
376 graphic NORMAL "entrybg";
381 margin { top 2; right 2; bottom 2; left 2; };