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";
318 graphic "sunken_white_bg"
322 border { top 4; right 4; bottom 4; left 4; };
337 graphic NORMAL "sunken_white_bg";
344 margin { left 3; right 3; };
349 graphic FOCUS "cursor";
353 margin { left 3; right 3; };
357 style "entry-multiline"
363 graphic NORMAL "sunken_white_bg";
370 margin { top 2; right 13; left 3; bottom 2; };
375 graphic FOCUS "cursor";
384 margin { top 3; right 2; bottom 3; };
392 border { top 4; right 4; bottom 4; left 4; };
397 font_color 0.0 0.0 0.0;
401 graphic NORMAL "sunken_white_bg";
406 graphic NORMAL "selection";
408 margin { top 2; right 13; bottom 2; left 2; };
413 margin { top 2; right 13; bottom 2; left 2; };
421 margin { top 3; right 2; bottom 3; };
427 font_color 0.0 0.0 0.0;
431 graphic NORMAL "sunken_white_bg";
432 margin { right 14; };
437 graphic NORMAL "down_arrow_button";
438 graphic ACTIVE "down_arrow_button_pressed";
457 shadow { top 0; right 2; bottom 3; left 0; };
460 graphic "switch_down"
464 shadow { top 0; right 2; bottom 3; left 0; };
469 font_color 0.0 0.0 0.0;
481 graphic NORMAL "switch_down";
482 graphic ACTIVE "switch_up";
486 graphic "horizontal_slot"
490 border { left 1; right 1; };
493 graphic "horizontal_knob"
497 shadow { top 0; right 2; bottom 3; left 0; };
504 graphic NORMAL "horizontal_slot";
507 margin { left 4; right 4; };
512 graphic NORMAL "horizontal_knob";
517 graphic "vertical_slot"
521 border { top 1; bottom 1; };
524 graphic "vertical_knob"
528 shadow { top 0; right 2; bottom 3; left 0; };
535 graphic NORMAL "vertical_slot";
538 margin { top 4; bottom 4; };
543 graphic NORMAL "vertical_knob";