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; };
149 graphic NORMAL "greybutton";
150 graphic ACTIVE "greybuttondown";
168 graphic NORMAL "greenbutton";
169 graphic ACTIVE "greenbuttondown";
187 graphic NORMAL "redbutton";
188 graphic ACTIVE "redbuttondown";
204 graphic NORMAL "panelbg";
213 graphic NORMAL "yellowlamp";
214 graphic ACTIVE "yellowlamplit";
220 style "indicator-green"
224 graphic NORMAL "greenlamp";
225 graphic ACTIVE "greenlamplit";
231 style "indicator-red"
235 graphic NORMAL "redlamp";
236 graphic ACTIVE "redlamplit";
248 style "label-digital"
250 font "digitalreadout-16.font";
251 font_color 0.3 1 0.3;
255 graphic NORMAL "digidisplay";
269 graphic NORMAL "hsliderslot";
275 graphic NORMAL "hsliderknob";
286 graphic NORMAL "entrybg";
293 margin { left 3; right 3; };
298 graphic FOCUS "entrycursor";
301 margin { left 3; right 3; };
312 font_color 0.0 0.0 0.0;
316 graphic NORMAL "dropdownbg";
321 graphic NORMAL "dropdownarrow";
339 font_color 0.0 0.0 0.0;
343 graphic NORMAL "entrybg";
348 margin { top 2; right 2; bottom 2; left 2; };