2 font "digitalreadout-16.font";
10 border { top 2; right 3; bottom 4; left 2; };
11 shadow { top 0; right 1; bottom 2; left 0; };
18 border { top 2; right 3; bottom 4; left 2; };
19 shadow { top 0; right 1; bottom 2; left 0; };
26 border { top 2; right 3; bottom 4; left 2; };
27 shadow { top 0; right 1; bottom 2; left 0; };
30 graphic "greenbuttondown"
34 border { top 2; right 3; bottom 4; left 2; };
35 shadow { top 0; right 1; bottom 2; left 0; };
42 border { top 2; right 3; bottom 4; left 2; };
43 shadow { top 0; right 1; bottom 2; left 0; };
46 graphic "redbuttondown"
50 border { top 2; right 3; bottom 4; left 2; };
51 shadow { top 0; right 1; bottom 2; left 0; };
58 border { top 2; right 2; bottom 2; left 2; };
67 graphic "greenlamplit"
89 border { top 5; right 5; bottom 5; left 5; };
96 border { top 0; right 5; bottom 0; left 5; };
103 shadow { top 0; right 2; bottom 3; left 0; };
112 graphic normal "button";
113 graphic active "buttondown";
124 style "button" "green"
130 graphic normal "greenbutton";
131 graphic active "greenbuttondown";
148 graphic normal "redbutton";
149 graphic active "redbuttondown";
164 graphic normal "panel";
169 style "indicator" "";
171 style "indicator" "green"
175 graphic normal "greenlamp";
176 graphic active "greenlamplit";
181 style "indicator" "red"
185 graphic normal "redlamp";
186 graphic active "redlamplit";
197 style "label" "digital"
199 font "digitalreadout-16";
200 font_color 0.3 1 0.3;
204 graphic normal "digidisplay";
218 graphic normal "hsliderslot";
224 graphic normal "hslider";