1 default_font "dejavu-12.font";
41 border { horizontal 2; vertical 2; };
46 font_color 0.0 0.0 0.0;
50 graphic NORMAL "tooltip";
57 margin { horizontal 2; vertical 2; };
65 border { top 2; right 3; bottom 4; left 2; };
66 shadow { top 0; right 1; bottom 2; left 0; };
69 graphic "grey_button_pressed"
73 border { top 2; right 3; bottom 4; left 2; };
74 shadow { top 0; right 1; bottom 2; left 0; };
77 graphic "green_button"
81 border { top 2; right 3; bottom 4; left 2; };
82 shadow { top 0; right 1; bottom 2; left 0; };
85 graphic "green_button_pressed"
89 border { top 2; right 3; bottom 4; left 2; };
90 shadow { top 0; right 1; bottom 2; left 0; };
97 border { top 2; right 3; bottom 4; left 2; };
98 shadow { top 0; right 1; bottom 2; left 0; };
101 graphic "red_button_pressed"
105 border { top 2; right 3; bottom 4; left 2; };
106 shadow { top 0; right 1; bottom 2; left 0; };
109 graphic "up_arrow_button"
113 shadow { right 1; bottom 2; };
116 graphic "up_arrow_button_pressed"
120 shadow { right 1; bottom 1; };
123 graphic "down_arrow_button"
127 shadow { right 1; bottom 2; };
130 graphic "down_arrow_button_pressed"
134 shadow { right 1; bottom 1; };
137 graphic "right_arrow_button"
141 shadow { right 1; bottom 2; };
144 graphic "right_arrow_button_pressed"
148 shadow { right 1; bottom 1; };
151 graphic "left_arrow_button"
155 shadow { right 1; bottom 2; };
158 graphic "left_arrow_button_pressed"
162 shadow { right 1; bottom 1; };
165 graphic "red_cross_button"
169 shadow { right 1; bottom 2; };
172 graphic "red_cross_button_pressed"
176 shadow { right 1; bottom 1; };
185 graphic NORMAL "grey_button";
186 graphic ACTIVE "grey_button_pressed";
189 margin { horizontal 5; };
196 margin { bottom 10; };
206 graphic NORMAL "green_button";
207 graphic ACTIVE "green_button_pressed";
210 margin { horizontal 5; };
217 margin { bottom 10; };
227 graphic NORMAL "red_button";
228 graphic ACTIVE "red_button_pressed";
231 margin { horizontal 5; };
238 margin { bottom 10; };
242 style "button-arrow_up"
246 graphic NORMAL "up_arrow_button";
247 graphic ACTIVE "up_arrow_button_pressed";
253 style "button-arrow_down"
257 graphic NORMAL "down_arrow_button";
258 graphic ACTIVE "down_arrow_button_pressed";
264 style "button-arrow_right"
268 graphic NORMAL "right_arrow_button";
269 graphic ACTIVE "right_arrow_button_pressed";
275 style "button-arrow_left"
279 graphic NORMAL "left_arrow_button";
280 graphic ACTIVE "left_arrow_button_pressed";
286 style "button-red_cross"
290 graphic NORMAL "red_cross_button";
291 graphic ACTIVE "red_cross_button_pressed";
297 graphic "yellow_lamp"
303 graphic "yellow_lamp_lit"
315 graphic "green_lamp_lit"
327 graphic "red_lamp_lit"
337 graphic NORMAL "yellow_lamp";
338 graphic ACTIVE "yellow_lamp_lit";
344 style "indicator-green"
348 graphic NORMAL "green_lamp";
349 graphic ACTIVE "green_lamp_lit";
355 style "indicator-red"
359 graphic NORMAL "red_lamp";
360 graphic ACTIVE "red_lamp_lit";
366 graphic "raised_grey_bg"
370 border { horizontal 4; vertical 4; };
377 graphic NORMAL "raised_grey_bg";
387 graphic "sunken_black_bg"
391 border { horizontal 4; vertical 4; };
394 style "label-digital"
396 font "digitalreadout-16.font";
397 font_color 0.3 1 0.3;
401 graphic NORMAL "sunken_black_bg";
408 margin { horizontal 4; top 2; bottom 1; };
412 graphic "sunken_white_bg"
416 border { horizontal 4; vertical 4; };
431 graphic NORMAL "sunken_white_bg";
438 margin { horizontal 3; vertical 2; };
443 graphic FOCUS "cursor";
447 margin { left 3; right 3; };
451 style "entry-multiline"
457 graphic NORMAL "sunken_white_bg";
464 margin { vertical 2; right 13; left 3; };
469 graphic FOCUS "cursor";
478 margin { vertical 3; right 2; };
486 border { horizontal 4; vertical 4; };
493 graphic NORMAL "sunken_white_bg";
498 margin { vertical 2; right 13; left 2; };
506 margin { vertical 3; right 2; };
514 graphic ACTIVE "selection";
520 margin { vertical 1; horizontal 2; };
526 font_color 0.0 0.0 0.0;
530 graphic NORMAL "sunken_white_bg";
531 margin { right 14; };
536 graphic NORMAL "down_arrow_button";
537 graphic ACTIVE "down_arrow_button_pressed";
546 margin { vertical 2; left 3; right 17; };
556 shadow { top 0; right 2; bottom 3; left 0; };
559 graphic "switch_down"
563 shadow { top 0; right 2; bottom 3; left 0; };
568 font_color 0.0 0.0 0.0;
574 margin { bottom 10; };
581 graphic NORMAL "switch_down";
582 graphic ACTIVE "switch_up";
586 graphic "horizontal_slot"
590 border { horizontal 1; };
593 graphic "horizontal_knob"
597 shadow { top 0; right 2; bottom 3; left 0; };
604 graphic NORMAL "horizontal_slot";
607 margin { horizontal 4; };
612 graphic NORMAL "horizontal_knob";
618 graphic "vertical_slot"
622 border { vertical 1; };
625 graphic "vertical_knob"
629 shadow { top 0; right 2; bottom 3; left 0; };
636 graphic NORMAL "vertical_slot";
639 margin { vertical 4; };
644 graphic NORMAL "vertical_knob";
652 graphic "pointer_down"
656 shadow { right 1; bottom 2; };
663 shadow { right 1; bottom 2; };
666 graphic "pointer_left"
670 shadow { right 1; bottom 2; };
673 graphic "pointer_right"
677 shadow { right 1; bottom 2; };
680 style "toggle-pointer_left"
682 font_color 0.0 0.0 0.0;
688 margin { vertical 2; right 4; left 2; };
693 graphic NORMAL "vertical_slot";
700 graphic ACTIVE "pointer_left";
710 shadow { right 3; bottom 4; };
717 shadow { right 3; bottom 4; };
722 font_color 0.0 0.0 0.0;
728 graphic NORMAL "lever_down";
729 graphic ACTIVE "lever_up";