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 style "label-digital_borderless"
414 font "digitalreadout-16.font";
415 font_color 0.3 1 0.3;
424 style "panel-digital_background"
428 graphic NORMAL "sunken_black_bg";
434 graphic "sunken_white_bg"
438 border { horizontal 4; vertical 4; };
453 graphic NORMAL "sunken_white_bg";
460 margin { horizontal 3; vertical 2; };
465 graphic FOCUS "cursor";
469 margin { left 3; right 3; };
473 style "entry-multiline"
479 graphic NORMAL "sunken_white_bg";
486 margin { vertical 2; right 13; left 3; };
491 graphic FOCUS "cursor";
500 margin { vertical 3; right 2; };
508 border { horizontal 4; vertical 4; };
515 graphic NORMAL "sunken_white_bg";
520 margin { vertical 2; right 13; left 2; };
528 margin { vertical 3; right 2; };
536 graphic ACTIVE "selection";
542 margin { vertical 1; horizontal 2; };
548 font_color 0.0 0.0 0.0;
552 graphic NORMAL "sunken_white_bg";
553 margin { right 14; };
558 graphic NORMAL "down_arrow_button";
559 graphic ACTIVE "down_arrow_button_pressed";
568 margin { vertical 2; left 3; right 17; };
578 shadow { top 0; right 2; bottom 3; left 0; };
581 graphic "switch_down"
585 shadow { top 0; right 2; bottom 3; left 0; };
590 font_color 0.0 0.0 0.0;
596 margin { bottom 10; };
603 graphic NORMAL "switch_down";
604 graphic ACTIVE "switch_up";
608 graphic "horizontal_slot"
612 border { horizontal 1; };
615 graphic "horizontal_knob"
619 shadow { top 0; right 2; bottom 3; left 0; };
626 graphic NORMAL "horizontal_slot";
629 margin { horizontal 4; };
634 graphic NORMAL "horizontal_knob";
640 graphic "vertical_slot"
644 border { vertical 1; };
647 graphic "vertical_knob"
651 shadow { top 0; right 2; bottom 3; left 0; };
658 graphic NORMAL "vertical_slot";
661 margin { vertical 4; };
666 graphic NORMAL "vertical_knob";
674 graphic "pointer_down"
678 shadow { right 1; bottom 2; };
685 shadow { right 1; bottom 2; };
688 graphic "pointer_left"
692 shadow { right 1; bottom 2; };
695 graphic "pointer_right"
699 shadow { right 1; bottom 2; };
702 style "toggle-pointer_left"
704 font_color 0.0 0.0 0.0;
710 margin { vertical 2; right 4; left 2; };
715 graphic NORMAL "vertical_slot";
722 graphic ACTIVE "pointer_left";
732 shadow { right 3; bottom 4; };
739 shadow { right 3; bottom 4; };
744 font_color 0.0 0.0 0.0;
750 graphic NORMAL "lever_down";
751 graphic ACTIVE "lever_up";
767 graphic "clock_minute"
777 graphic NORMAL "clock_face";
784 graphic NORMAL "clock_hour";
790 graphic NORMAL "clock_minute";