1 default_font "dejavu-12.font";
7 border { top 2; right 3; bottom 4; left 2; };
8 shadow { top 0; right 1; bottom 2; left 0; };
11 graphic "greybuttondown"
15 border { top 2; right 3; bottom 4; left 2; };
16 shadow { top 0; right 1; bottom 2; left 0; };
23 border { top 2; right 3; bottom 4; left 2; };
24 shadow { top 0; right 1; bottom 2; left 0; };
27 graphic "greenbuttondown"
31 border { top 2; right 3; bottom 4; left 2; };
32 shadow { top 0; right 1; bottom 2; left 0; };
39 border { top 2; right 3; bottom 4; left 2; };
40 shadow { top 0; right 1; bottom 2; left 0; };
43 graphic "redbuttondown"
47 border { top 2; right 3; bottom 4; left 2; };
48 shadow { top 0; right 1; bottom 2; left 0; };
55 border { top 2; right 2; bottom 2; left 2; };
62 border { top 2; right 2; bottom 2; left 2; };
75 border { top 4; right 20; bottom 4; left 2; };
78 graphic "dropdownarrow"
90 graphic "yellowlamplit"
102 graphic "greenlamplit"
120 graphic "digidisplay"
124 border { top 5; right 5; bottom 5; left 5; };
127 graphic "hsliderslot"
131 border { top 0; right 5; bottom 0; left 5; };
134 graphic "hsliderknob"
138 shadow { top 0; right 2; bottom 3; left 0; };
147 graphic NORMAL "greybutton";
148 graphic ACTIVE "greybuttondown";
166 graphic NORMAL "greenbutton";
167 graphic ACTIVE "greenbuttondown";
185 graphic NORMAL "redbutton";
186 graphic ACTIVE "redbuttondown";
202 graphic NORMAL "panelbg";
211 graphic NORMAL "yellowlamp";
212 graphic ACTIVE "yellowlamplit";
218 style "indicator-green"
222 graphic NORMAL "greenlamp";
223 graphic ACTIVE "greenlamplit";
229 style "indicator-red"
233 graphic NORMAL "redlamp";
234 graphic ACTIVE "redlamplit";
246 style "label-digital"
248 font "digitalreadout-16.font";
249 font_color 0.3 1 0.3;
253 graphic NORMAL "digidisplay";
267 graphic NORMAL "hsliderslot";
273 graphic NORMAL "hsliderknob";
284 graphic NORMAL "entrybg";
291 margin { left 3; right 3; };
296 graphic FOCUS "entrycursor";
299 margin { left 3; right 3; };
310 font_color 0.0 0.0 0.0;
314 graphic NORMAL "dropdownbg";
319 graphic NORMAL "dropdownarrow";
337 font_color 0.0 0.0 0.0;
341 graphic NORMAL "entrybg";
346 margin { top 2; right 2; bottom 2; left 2; };