3 default_font "dejavu-12.font";
32 border { top 2; right 2; bottom 2; left 2; };
37 font_color 0.0 0.0 0.0;
41 graphic NORMAL "tooltip";
48 margin { top 2; right 2; bottom 2; left 2; };
56 border { top 2; right 3; bottom 4; left 2; };
57 shadow { top 0; right 1; bottom 2; left 0; };
60 graphic "grey_button_pressed"
64 border { top 2; right 3; bottom 4; left 2; };
65 shadow { top 0; right 1; bottom 2; left 0; };
68 graphic "green_button"
72 border { top 2; right 3; bottom 4; left 2; };
73 shadow { top 0; right 1; bottom 2; left 0; };
76 graphic "green_button_pressed"
80 border { top 2; right 3; bottom 4; left 2; };
81 shadow { top 0; right 1; bottom 2; left 0; };
88 border { top 2; right 3; bottom 4; left 2; };
89 shadow { top 0; right 1; bottom 2; left 0; };
92 graphic "red_button_pressed"
96 border { top 2; right 3; bottom 4; left 2; };
97 shadow { top 0; right 1; bottom 2; left 0; };
100 graphic "up_arrow_button"
104 shadow { right 1; bottom 2; };
107 graphic "up_arrow_button_pressed"
111 shadow { right 1; bottom 1; };
114 graphic "down_arrow_button"
118 shadow { right 1; bottom 2; };
121 graphic "down_arrow_button_pressed"
125 shadow { right 1; bottom 1; };
128 graphic "right_arrow_button"
132 shadow { right 1; bottom 2; };
135 graphic "right_arrow_button_pressed"
139 shadow { right 1; bottom 1; };
142 graphic "left_arrow_button"
146 shadow { right 1; bottom 2; };
149 graphic "left_arrow_button_pressed"
153 shadow { right 1; bottom 1; };
162 graphic NORMAL "grey_button";
163 graphic ACTIVE "grey_button_pressed";
181 graphic NORMAL "green_button";
182 graphic ACTIVE "green_button_pressed";
200 graphic NORMAL "red_button";
201 graphic ACTIVE "red_button_pressed";
213 style "button-arrow_up"
217 graphic NORMAL "up_arrow_button";
218 graphic ACTIVE "up_arrow_button_pressed";
224 style "button-arrow_down"
228 graphic NORMAL "down_arrow_button";
229 graphic ACTIVE "down_arrow_button_pressed";
235 style "button-arrow_right"
239 graphic NORMAL "right_arrow_button";
240 graphic ACTIVE "right_arrow_button_pressed";
246 style "button-arrow_left"
250 graphic NORMAL "left_arrow_button";
251 graphic ACTIVE "left_arrow_button_pressed";
257 graphic "yellow_lamp"
263 graphic "yellow_lamp_lit"
275 graphic "green_lamp_lit"
287 graphic "red_lamp_lit"
297 graphic NORMAL "yellow_lamp";
298 graphic ACTIVE "yellow_lamp_lit";
304 style "indicator-green"
308 graphic NORMAL "green_lamp";
309 graphic ACTIVE "green_lamp_lit";
315 style "indicator-red"
319 graphic NORMAL "red_lamp";
320 graphic ACTIVE "red_lamp_lit";
326 graphic "raised_grey_bg"
330 border { top 4; right 4; bottom 4; left 4; };
337 graphic NORMAL "raised_grey_bg";
347 graphic "sunken_black_bg"
351 border { top 4; right 4; bottom 4; left 4; };
354 style "label-digital"
356 font "digitalreadout-16.font";
357 font_color 0.3 1 0.3;
361 graphic NORMAL "sunken_black_bg";
372 graphic "sunken_white_bg"
376 border { top 4; right 4; bottom 4; left 4; };
391 graphic NORMAL "sunken_white_bg";
398 margin { left 3; right 3; };
403 graphic FOCUS "cursor";
407 margin { left 3; right 3; };
411 style "entry-multiline"
417 graphic NORMAL "sunken_white_bg";
424 margin { top 2; right 13; left 3; bottom 2; };
429 graphic FOCUS "cursor";
438 margin { top 3; right 2; bottom 3; };
446 border { top 4; right 4; bottom 4; left 4; };
451 font_color 0.0 0.0 0.0;
455 graphic NORMAL "sunken_white_bg";
460 graphic NORMAL "selection";
462 margin { top 2; right 13; bottom 2; left 2; };
467 margin { top 2; right 13; bottom 2; left 2; };
475 margin { top 3; right 2; bottom 3; };
481 font_color 0.0 0.0 0.0;
485 graphic NORMAL "sunken_white_bg";
486 margin { right 14; };
491 graphic NORMAL "down_arrow_button";
492 graphic ACTIVE "down_arrow_button_pressed";
511 shadow { top 0; right 2; bottom 3; left 0; };
514 graphic "switch_down"
518 shadow { top 0; right 2; bottom 3; left 0; };
523 font_color 0.0 0.0 0.0;
535 graphic NORMAL "switch_down";
536 graphic ACTIVE "switch_up";
540 graphic "horizontal_slot"
544 border { left 1; right 1; };
547 graphic "horizontal_knob"
551 shadow { top 0; right 2; bottom 3; left 0; };
558 graphic NORMAL "horizontal_slot";
561 margin { left 4; right 4; };
566 graphic NORMAL "horizontal_knob";
571 graphic "vertical_slot"
575 border { top 1; bottom 1; };
578 graphic "vertical_knob"
582 shadow { top 0; right 2; bottom 3; left 0; };
589 graphic NORMAL "vertical_slot";
592 margin { top 4; bottom 4; };
597 graphic NORMAL "vertical_knob";