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; };
445 shadow { bottom 1; };
454 graphic NORMAL "sunken_white_bg";
461 margin { horizontal 3; vertical 2; };
466 graphic FOCUS "cursor";
470 margin { horizontal 3; };
474 style "entry-multiline"
480 graphic NORMAL "sunken_white_bg";
487 margin { vertical 2; right 13; left 3; };
492 graphic FOCUS "cursor";
501 margin { vertical 3; right 2; };
509 border { horizontal 4; vertical 4; };
516 graphic NORMAL "sunken_white_bg";
521 margin { vertical 2; right 13; left 2; };
529 margin { vertical 3; right 2; };
537 graphic ACTIVE "selection";
543 margin { vertical 1; horizontal 2; };
549 font_color 0.0 0.0 0.0;
553 graphic NORMAL "sunken_white_bg";
554 margin { right 14; };
559 graphic NORMAL "down_arrow_button";
560 graphic ACTIVE "down_arrow_button_pressed";
569 margin { vertical 2; left 3; right 17; };
579 shadow { top 0; right 2; bottom 3; left 0; };
582 graphic "switch_down"
586 shadow { top 0; right 2; bottom 3; left 0; };
591 font_color 0.0 0.0 0.0;
597 margin { bottom 10; };
604 graphic NORMAL "switch_down";
605 graphic ACTIVE "switch_up";
609 graphic "horizontal_slot"
613 border { horizontal 1; };
616 graphic "horizontal_knob"
620 shadow { top 0; right 2; bottom 3; left 0; };
627 graphic NORMAL "horizontal_slot";
630 margin { horizontal 4; };
635 graphic NORMAL "horizontal_knob";
641 graphic "vertical_slot"
645 border { vertical 1; };
648 graphic "vertical_knob"
652 shadow { top 0; right 2; bottom 3; left 0; };
659 graphic NORMAL "vertical_slot";
662 margin { vertical 4; };
667 graphic NORMAL "vertical_knob";
675 graphic "pointer_down"
679 shadow { right 1; bottom 2; };
686 shadow { right 1; bottom 2; };
689 graphic "pointer_left"
693 shadow { right 1; bottom 2; };
696 graphic "pointer_right"
700 shadow { right 1; bottom 2; };
703 style "toggle-pointer_left"
705 font_color 0.0 0.0 0.0;
711 margin { vertical 2; right 4; left 2; };
716 graphic NORMAL "vertical_slot";
723 graphic ACTIVE "pointer_left";
733 shadow { right 3; bottom 4; };
740 shadow { right 3; bottom 4; };
745 font_color 0.0 0.0 0.0;
751 graphic NORMAL "lever_down";
752 graphic ACTIVE "lever_up";
768 graphic "clock_minute"
778 graphic NORMAL "clock_face";
785 graphic NORMAL "clock_hour";
791 graphic NORMAL "clock_minute";