3 default_font "dejavu-12.font";
20 border { top 2; right 2; bottom 2; left 2; };
25 font_color 0.0 0.0 0.0;
29 graphic NORMAL "tooltip";
36 margin { top 2; right 2; bottom 2; left 2; };
44 border { top 2; right 3; bottom 4; left 2; };
45 shadow { top 0; right 1; bottom 2; left 0; };
48 graphic "grey_button_pressed"
52 border { top 2; right 3; bottom 4; left 2; };
53 shadow { top 0; right 1; bottom 2; left 0; };
56 graphic "green_button"
60 border { top 2; right 3; bottom 4; left 2; };
61 shadow { top 0; right 1; bottom 2; left 0; };
64 graphic "green_button_pressed"
68 border { top 2; right 3; bottom 4; left 2; };
69 shadow { top 0; right 1; bottom 2; left 0; };
76 border { top 2; right 3; bottom 4; left 2; };
77 shadow { top 0; right 1; bottom 2; left 0; };
80 graphic "red_button_pressed"
84 border { top 2; right 3; bottom 4; left 2; };
85 shadow { top 0; right 1; bottom 2; left 0; };
94 graphic NORMAL "grey_button";
95 graphic ACTIVE "grey_button_pressed";
113 graphic NORMAL "green_button";
114 graphic ACTIVE "green_button_pressed";
132 graphic NORMAL "red_button";
133 graphic ACTIVE "red_button_pressed";
145 graphic "yellow_lamp"
151 graphic "yellow_lamp_lit"
163 graphic "green_lamp_lit"
175 graphic "red_lamp_lit"
185 graphic NORMAL "yellow_lamp";
186 graphic ACTIVE "yellow_lamp_lit";
192 style "indicator-green"
196 graphic NORMAL "green_lamp";
197 graphic ACTIVE "green_lamp_lit";
203 style "indicator-red"
207 graphic NORMAL "red_lamp";
208 graphic ACTIVE "red_lamp_lit";
214 graphic "raised_grey_bg"
218 border { top 4; right 4; bottom 4; left 4; };
225 graphic NORMAL "raised_grey_bg";
230 graphic "sunken_black_bg"
234 border { top 4; right 4; bottom 4; left 4; };
237 style "label-digital"
239 font "digitalreadout-16.font";
240 font_color 0.3 1 0.3;
244 graphic NORMAL "sunken_black_bg";
254 graphic "sunken_white_bg"
258 border { top 4; right 4; bottom 4; left 4; };
273 graphic NORMAL "sunken_white_bg";
280 margin { left 3; right 3; };
285 graphic FOCUS "cursor";
289 margin { left 3; right 3; };
293 style "entry-multiline"
299 graphic NORMAL "sunken_white_bg";
300 margin { right 10; };
307 margin { top 2; right 13; left 3; bottom 2; };
312 graphic FOCUS "cursor";
328 border { top 4; right 4; bottom 4; left 4; };
333 font_color 0.0 0.0 0.0;
337 graphic NORMAL "sunken_white_bg";
338 margin { right 10; };
343 graphic NORMAL "selection";
345 margin { top 2; right 12; bottom 2; left 2; };
350 margin { top 2; right 12; bottom 2; left 2; };
361 graphic "up_arrow_button"
365 shadow { top 0; right 1; bottom 2; left 0; };
368 graphic "up_arrow_button_pressed"
372 shadow { top 0; right 1; bottom 2; left 0; };
375 graphic "down_arrow_button"
379 shadow { top 0; right 1; bottom 2; left 0; };
382 graphic "down_arrow_button_pressed"
386 shadow { top 0; right 1; bottom 2; left 0; };
391 font_color 0.0 0.0 0.0;
395 graphic NORMAL "sunken_white_bg";
396 margin { right 14; };
401 graphic NORMAL "down_arrow_button";
402 graphic ACTIVE "down_arrow_button_pressed";
421 shadow { top 0; right 2; bottom 3; left 0; };
424 graphic "switch_down"
428 shadow { top 0; right 2; bottom 3; left 0; };
433 font_color 0.0 0.0 0.0;
445 graphic NORMAL "switch_down";
446 graphic ACTIVE "switch_up";
450 graphic "horizontal_slot"
454 border { top 0; right 5; bottom 0; left 5; };
457 graphic "horizontal_knob"
461 shadow { top 0; right 2; bottom 3; left 0; };
468 graphic NORMAL "horizontal_slot";
474 graphic NORMAL "horizontal_knob";
479 graphic "vertical_slot"
483 border { top 5; right 0; bottom 5; left 0; };
486 graphic "vertical_knob"
490 shadow { top 0; right 2; bottom 3; left 0; };
497 graphic NORMAL "vertical_slot";
503 graphic NORMAL "vertical_knob";