1 default_font "dejavu-12.font";
30 border { top 2; right 2; bottom 2; left 2; };
35 font_color 0.0 0.0 0.0;
39 graphic NORMAL "tooltip";
46 margin { top 2; right 2; bottom 2; left 2; };
54 border { top 2; right 3; bottom 4; left 2; };
55 shadow { top 0; right 1; bottom 2; left 0; };
58 graphic "grey_button_pressed"
62 border { top 2; right 3; bottom 4; left 2; };
63 shadow { top 0; right 1; bottom 2; left 0; };
66 graphic "green_button"
70 border { top 2; right 3; bottom 4; left 2; };
71 shadow { top 0; right 1; bottom 2; left 0; };
74 graphic "green_button_pressed"
78 border { top 2; right 3; bottom 4; left 2; };
79 shadow { top 0; right 1; bottom 2; left 0; };
86 border { top 2; right 3; bottom 4; left 2; };
87 shadow { top 0; right 1; bottom 2; left 0; };
90 graphic "red_button_pressed"
94 border { top 2; right 3; bottom 4; left 2; };
95 shadow { top 0; right 1; bottom 2; left 0; };
98 graphic "up_arrow_button"
102 shadow { right 1; bottom 2; };
105 graphic "up_arrow_button_pressed"
109 shadow { right 1; bottom 1; };
112 graphic "down_arrow_button"
116 shadow { right 1; bottom 2; };
119 graphic "down_arrow_button_pressed"
123 shadow { right 1; bottom 1; };
126 graphic "right_arrow_button"
130 shadow { right 1; bottom 2; };
133 graphic "right_arrow_button_pressed"
137 shadow { right 1; bottom 1; };
140 graphic "left_arrow_button"
144 shadow { right 1; bottom 2; };
147 graphic "left_arrow_button_pressed"
151 shadow { right 1; bottom 1; };
160 graphic NORMAL "grey_button";
161 graphic ACTIVE "grey_button_pressed";
179 graphic NORMAL "green_button";
180 graphic ACTIVE "green_button_pressed";
198 graphic NORMAL "red_button";
199 graphic ACTIVE "red_button_pressed";
211 style "button-arrow_up"
215 graphic NORMAL "up_arrow_button";
216 graphic ACTIVE "up_arrow_button_pressed";
222 style "button-arrow_down"
226 graphic NORMAL "down_arrow_button";
227 graphic ACTIVE "down_arrow_button_pressed";
233 style "button-arrow_right"
237 graphic NORMAL "right_arrow_button";
238 graphic ACTIVE "right_arrow_button_pressed";
244 style "button-arrow_left"
248 graphic NORMAL "left_arrow_button";
249 graphic ACTIVE "left_arrow_button_pressed";
255 graphic "yellow_lamp"
261 graphic "yellow_lamp_lit"
273 graphic "green_lamp_lit"
285 graphic "red_lamp_lit"
295 graphic NORMAL "yellow_lamp";
296 graphic ACTIVE "yellow_lamp_lit";
302 style "indicator-green"
306 graphic NORMAL "green_lamp";
307 graphic ACTIVE "green_lamp_lit";
313 style "indicator-red"
317 graphic NORMAL "red_lamp";
318 graphic ACTIVE "red_lamp_lit";
324 graphic "raised_grey_bg"
328 border { top 4; right 4; bottom 4; left 4; };
335 graphic NORMAL "raised_grey_bg";
345 graphic "sunken_black_bg"
349 border { top 4; right 4; bottom 4; left 4; };
352 style "label-digital"
354 font "digitalreadout-16.font";
355 font_color 0.3 1 0.3;
359 graphic NORMAL "sunken_black_bg";
370 graphic "sunken_white_bg"
374 border { top 4; right 4; bottom 4; left 4; };
389 graphic NORMAL "sunken_white_bg";
396 margin { left 3; right 3; };
401 graphic FOCUS "cursor";
405 margin { left 3; right 3; };
409 style "entry-multiline"
415 graphic NORMAL "sunken_white_bg";
422 margin { top 2; right 13; left 3; bottom 2; };
427 graphic FOCUS "cursor";
436 margin { top 3; right 2; bottom 3; };
444 border { top 4; right 4; bottom 4; left 4; };
449 font_color 0.0 0.0 0.0;
453 graphic NORMAL "sunken_white_bg";
458 graphic NORMAL "selection";
460 margin { top 2; right 13; bottom 2; left 2; };
465 margin { top 2; right 13; bottom 2; left 2; };
473 margin { top 3; right 2; bottom 3; };
479 font_color 0.0 0.0 0.0;
483 graphic NORMAL "sunken_white_bg";
484 margin { right 14; };
489 graphic NORMAL "down_arrow_button";
490 graphic ACTIVE "down_arrow_button_pressed";
509 shadow { top 0; right 2; bottom 3; left 0; };
512 graphic "switch_down"
516 shadow { top 0; right 2; bottom 3; left 0; };
521 font_color 0.0 0.0 0.0;
533 graphic NORMAL "switch_down";
534 graphic ACTIVE "switch_up";
538 graphic "horizontal_slot"
542 border { left 1; right 1; };
545 graphic "horizontal_knob"
549 shadow { top 0; right 2; bottom 3; left 0; };
556 graphic NORMAL "horizontal_slot";
559 margin { left 4; right 4; };
564 graphic NORMAL "horizontal_knob";
569 graphic "vertical_slot"
573 border { top 1; bottom 1; };
576 graphic "vertical_knob"
580 shadow { top 0; right 2; bottom 3; left 0; };
587 graphic NORMAL "vertical_slot";
590 margin { top 4; bottom 4; };
595 graphic NORMAL "vertical_knob";