-graphic "greybutton"
-{
- texture "gui.png";
- slice 0 54 21 10;
- border { top 2; right 3; bottom 4; left 2; };
- shadow { top 0; right 1; bottom 2; left 0; };
-};
-
-graphic "greybuttondown"
-{
- texture "gui.png";
- slice 24 54 21 10;
- border { top 2; right 3; bottom 4; left 2; };
- shadow { top 0; right 1; bottom 2; left 0; };
-};
-
-graphic "greenbutton"
-{
- texture "gui.png";
- slice 0 42 21 10;
- border { top 2; right 3; bottom 4; left 2; };
- shadow { top 0; right 1; bottom 2; left 0; };
-};
-
-graphic "greenbuttondown"
-{
- texture "gui.png";
- slice 24 42 21 10;
- border { top 2; right 3; bottom 4; left 2; };
- shadow { top 0; right 1; bottom 2; left 0; };
-};
-
-graphic "redbutton"