default font: sans-11px-bold default font color: [51, 51, 51, 255] buttons: default: default size: [96, 22] font color: [0, 115, 234, 255] bordered image: source: lightness/button-up.png left border: [0,2,2,6] right border: [22,2,2,6] top border: [2,0,20,2] bottom border: [2,8,20,2] top left corner: [0,0,2,2] top right corner: [22,0,2,2] bottom left corner: [0,8,2,2] bottom right corner: [22,8,2,2] center: [2,2,20,6] hover state: font color: [255, 255, 255, 255] bordered image: source: lightness/button-hover.png left border: [0,2,2,6] right border: [22,2,2,6] top border: [2,0,20,2] bottom border: [2,8,20,2] top left corner: [0,0,2,2] top right corner: [22,0,2,2] bottom left corner: [0,8,2,2] bottom right corner: [22,8,2,2] center: [2,2,20,6] down state: font color: [255, 0, 132, 255] bordered image: source: lightness/button-down.png left border: [0,2,2,6] right border: [22,2,2,6] top border: [2,0,20,2] bottom border: [2,8,20,2] top left corner: [0,0,2,2] top right corner: [22,0,2,2] bottom left corner: [0,8,2,2] bottom right corner: [22,8,2,2] center: [2,2,20,6] panels: default: # the default panel is empty mainMenuBackground: image: lightness/background.png antialised: true icos4d: image: lightness/icos4d.png roundedGridPanel: bordered image: source: lightness/menupanel.png left border: [0,2,2,6] right border: [22,2,2,6] top border: [2,0,20,2] bottom border: [2,8,20,2] top left corner: [0,0,2,2] top right corner: [22,0,2,2] bottom left corner: [0,8,2,2] bottom right corner: [22,8,2,2] center: [2,2,20,6] flatPanel: bordered image: source: lightness/panel.png left border: [0,2,2,6] right border: [22,2,2,6] top border: [2,0,20,2] bottom border: [2,8,20,2] top left corner: [0,0,2,2] top right corner: [22,0,2,2] bottom left corner: [0,8,2,2] bottom right corner: [22,8,2,2] center: [2,2,20,6] labels: default: font: sans-12px windows: default: font: sans-12px-bold font color: [80, 80, 80, 255] head: text align: left margin: 8 height: 26 bordered image: source: lightness/window.png left border: [0,5,5,22] right border: [251,5,5,22] top border: [5,0,246,5] bottom border: [5,27,246,5] top left corner: [0,0,5,5] top right corner: [251,0,5,5] bottom left corner: [0,27,5,5] bottom right corner: [251,27,5,5] center: [5,5,246,22] body: bordered image: source: lightness/window.png left border: [0,32,2,222] right border: [254,32,2,222] bottom border: [2,254,252,2] bottom left corner: [0,254,2,2] bottom right corner: [254,254,2,2] center: [2, 32, 92, 92] text edits: default: default size: [86, 20] font color: [80, 80, 80, 255] text margin: 3 bordered image: source: lightness/button-down.png left border: [0,2,2,6] right border: [22,2,2,6] top border: [2,0,20,2] bottom border: [2,8,20,2] top left corner: [0,0,2,2] top right corner: [22,0,2,2] bottom left corner: [0,8,2,2] bottom right corner: [22,8,2,2] center: [2,2,20,6] line decorations: default: bordered image: source: lightness/window.png top border: [2,254,252,2]