3 default_font "dejavu-12.font";
28 border { top 2; right 2; bottom 2; left 2; };
33 font_color 0.0 0.0 0.0;
37 graphic NORMAL "tooltip";
44 margin { top 2; right 2; bottom 2; left 2; };
52 border { top 2; right 3; bottom 4; left 2; };
53 shadow { top 0; right 1; bottom 2; left 0; };
56 graphic "grey_button_pressed"
60 border { top 2; right 3; bottom 4; left 2; };
61 shadow { top 0; right 1; bottom 2; left 0; };
64 graphic "green_button"
68 border { top 2; right 3; bottom 4; left 2; };
69 shadow { top 0; right 1; bottom 2; left 0; };
72 graphic "green_button_pressed"
76 border { top 2; right 3; bottom 4; left 2; };
77 shadow { top 0; right 1; bottom 2; left 0; };
84 border { top 2; right 3; bottom 4; left 2; };
85 shadow { top 0; right 1; bottom 2; left 0; };
88 graphic "red_button_pressed"
92 border { top 2; right 3; bottom 4; left 2; };
93 shadow { top 0; right 1; bottom 2; left 0; };
96 graphic "up_arrow_button"
100 shadow { top 0; right 1; bottom 2; left 0; };
103 graphic "up_arrow_button_pressed"
107 shadow { top 0; right 1; bottom 2; left 0; };
110 graphic "down_arrow_button"
114 shadow { top 0; right 1; bottom 2; left 0; };
117 graphic "down_arrow_button_pressed"
121 shadow { top 0; right 1; bottom 2; left 0; };
130 graphic NORMAL "grey_button";
131 graphic ACTIVE "grey_button_pressed";
149 graphic NORMAL "green_button";
150 graphic ACTIVE "green_button_pressed";
168 graphic NORMAL "red_button";
169 graphic ACTIVE "red_button_pressed";
181 style "button-arrow_up"
185 graphic NORMAL "up_arrow_button";
186 graphic ACTIVE "up_arrow_button_pressed";
192 style "button-arrow_down"
196 graphic NORMAL "down_arrow_button";
197 graphic ACTIVE "down_arrow_button_pressed";
203 graphic "yellow_lamp"
209 graphic "yellow_lamp_lit"
221 graphic "green_lamp_lit"
233 graphic "red_lamp_lit"
243 graphic NORMAL "yellow_lamp";
244 graphic ACTIVE "yellow_lamp_lit";
250 style "indicator-green"
254 graphic NORMAL "green_lamp";
255 graphic ACTIVE "green_lamp_lit";
261 style "indicator-red"
265 graphic NORMAL "red_lamp";
266 graphic ACTIVE "red_lamp_lit";
272 graphic "raised_grey_bg"
276 border { top 4; right 4; bottom 4; left 4; };
283 graphic NORMAL "raised_grey_bg";
293 graphic "sunken_black_bg"
297 border { top 4; right 4; bottom 4; left 4; };
300 style "label-digital"
302 font "digitalreadout-16.font";
303 font_color 0.3 1 0.3;
307 graphic NORMAL "sunken_black_bg";
317 graphic "sunken_white_bg"
321 border { top 4; right 4; bottom 4; left 4; };
336 graphic NORMAL "sunken_white_bg";
343 margin { left 3; right 3; };
348 graphic FOCUS "cursor";
352 margin { left 3; right 3; };
356 style "entry-multiline"
362 graphic NORMAL "sunken_white_bg";
363 margin { right 10; };
370 margin { top 2; right 13; left 3; bottom 2; };
375 graphic FOCUS "cursor";
391 border { top 4; right 4; bottom 4; left 4; };
396 font_color 0.0 0.0 0.0;
400 graphic NORMAL "sunken_white_bg";
401 margin { right 10; };
406 graphic NORMAL "selection";
408 margin { top 2; right 12; bottom 2; left 2; };
413 margin { top 2; right 12; bottom 2; left 2; };
426 font_color 0.0 0.0 0.0;
430 graphic NORMAL "sunken_white_bg";
431 margin { right 14; };
436 graphic NORMAL "down_arrow_button";
437 graphic ACTIVE "down_arrow_button_pressed";
456 shadow { top 0; right 2; bottom 3; left 0; };
459 graphic "switch_down"
463 shadow { top 0; right 2; bottom 3; left 0; };
468 font_color 0.0 0.0 0.0;
480 graphic NORMAL "switch_down";
481 graphic ACTIVE "switch_up";
485 graphic "horizontal_slot"
489 border { top 0; right 5; bottom 0; left 5; };
492 graphic "horizontal_knob"
496 shadow { top 0; right 2; bottom 3; left 0; };
503 graphic NORMAL "horizontal_slot";
509 graphic NORMAL "horizontal_knob";
514 graphic "vertical_slot"
518 border { top 5; right 0; bottom 5; left 0; };
521 graphic "vertical_knob"
525 shadow { top 0; right 2; bottom 3; left 0; };
532 graphic NORMAL "vertical_slot";
538 graphic NORMAL "vertical_knob";