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; };
77 graphic "yellowlamplit"
89 graphic "greenlamplit"
107 graphic "digidisplay"
111 border { top 5; right 5; bottom 5; left 5; };
114 graphic "hsliderslot"
118 border { top 0; right 5; bottom 0; left 5; };
121 graphic "hsliderknob"
125 shadow { top 0; right 2; bottom 3; left 0; };
134 graphic NORMAL "greybutton";
135 graphic ACTIVE "greybuttondown";
153 graphic NORMAL "greenbutton";
154 graphic ACTIVE "greenbuttondown";
172 graphic NORMAL "redbutton";
173 graphic ACTIVE "redbuttondown";
189 graphic NORMAL "panelbg";
198 graphic NORMAL "yellowlamp";
199 graphic ACTIVE "yellowlamplit";
205 style "indicator-green"
209 graphic NORMAL "greenlamp";
210 graphic ACTIVE "greenlamplit";
216 style "indicator-red"
220 graphic NORMAL "redlamp";
221 graphic ACTIVE "redlamplit";
233 style "label-digital"
235 font "digitalreadout-16.font";
236 font_color 0.3 1 0.3;
240 graphic NORMAL "digidisplay";
254 graphic NORMAL "hsliderslot";
260 graphic NORMAL "hsliderknob";
271 graphic NORMAL "entrybg";
278 margin { left 3; right 3; };
283 graphic FOCUS "entrycursor";
286 margin { left 3; right 3; };