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; };
171 graphic NORMAL "grey_button";
172 graphic ACTIVE "grey_button_pressed";
175 margin { horizontal 5; };
182 margin { bottom 10; };
192 graphic NORMAL "green_button";
193 graphic ACTIVE "green_button_pressed";
196 margin { horizontal 5; };
203 margin { bottom 10; };
213 graphic NORMAL "red_button";
214 graphic ACTIVE "red_button_pressed";
217 margin { horizontal 5; };
224 margin { bottom 10; };
228 style "button-arrow_up"
232 graphic NORMAL "up_arrow_button";
233 graphic ACTIVE "up_arrow_button_pressed";
239 style "button-arrow_down"
243 graphic NORMAL "down_arrow_button";
244 graphic ACTIVE "down_arrow_button_pressed";
250 style "button-arrow_right"
254 graphic NORMAL "right_arrow_button";
255 graphic ACTIVE "right_arrow_button_pressed";
261 style "button-arrow_left"
265 graphic NORMAL "left_arrow_button";
266 graphic ACTIVE "left_arrow_button_pressed";
272 graphic "yellow_lamp"
278 graphic "yellow_lamp_lit"
290 graphic "green_lamp_lit"
302 graphic "red_lamp_lit"
312 graphic NORMAL "yellow_lamp";
313 graphic ACTIVE "yellow_lamp_lit";
319 style "indicator-green"
323 graphic NORMAL "green_lamp";
324 graphic ACTIVE "green_lamp_lit";
330 style "indicator-red"
334 graphic NORMAL "red_lamp";
335 graphic ACTIVE "red_lamp_lit";
341 graphic "raised_grey_bg"
345 border { horizontal 4; vertical 4; };
352 graphic NORMAL "raised_grey_bg";
362 graphic "sunken_black_bg"
366 border { horizontal 4; vertical 4; };
369 style "label-digital"
371 font "digitalreadout-16.font";
372 font_color 0.3 1 0.3;
376 graphic NORMAL "sunken_black_bg";
387 graphic "sunken_white_bg"
391 border { horizontal 4; vertical 4; };
406 graphic NORMAL "sunken_white_bg";
413 margin { horizontal 3; vertical 2; };
418 graphic FOCUS "cursor";
422 margin { left 3; right 3; };
426 style "entry-multiline"
432 graphic NORMAL "sunken_white_bg";
439 margin { vertical 2; right 13; left 3; };
444 graphic FOCUS "cursor";
453 margin { vertical 3; right 2; };
461 border { horizontal 4; vertical 4; };
466 font_color 0.0 0.0 0.0;
470 graphic NORMAL "sunken_white_bg";
475 graphic NORMAL "selection";
477 margin { vertical 2; right 13; left 2; };
482 margin { vertical 2; right 13; left 2; };
490 margin { vertical 3; right 2; };
496 font_color 0.0 0.0 0.0;
500 graphic NORMAL "sunken_white_bg";
501 margin { right 14; };
506 graphic NORMAL "down_arrow_button";
507 graphic ACTIVE "down_arrow_button_pressed";
516 margin { vertical 2; left 3; right 17; };
526 shadow { top 0; right 2; bottom 3; left 0; };
529 graphic "switch_down"
533 shadow { top 0; right 2; bottom 3; left 0; };
538 font_color 0.0 0.0 0.0;
550 graphic NORMAL "switch_down";
551 graphic ACTIVE "switch_up";
555 graphic "horizontal_slot"
559 border { horizontal 1; };
562 graphic "horizontal_knob"
566 shadow { top 0; right 2; bottom 3; left 0; };
573 graphic NORMAL "horizontal_slot";
576 margin { horizontal 4; };
581 graphic NORMAL "horizontal_knob";
586 graphic "vertical_slot"
590 border { vertical 1; };
593 graphic "vertical_knob"
597 shadow { top 0; right 2; bottom 3; left 0; };
604 graphic NORMAL "vertical_slot";
607 margin { vertical 4; };
612 graphic NORMAL "vertical_knob";