81 lines
1.4 KiB
Plaintext
81 lines
1.4 KiB
Plaintext
default font: helvetica-12px
|
|
default font color: [210, 210, 210, 255]
|
|
|
|
buttons:
|
|
default:
|
|
font: helvetica-11px-bold
|
|
font color: [240, 173, 77, 255]
|
|
default size: [106, 24]
|
|
|
|
bordered image:
|
|
source: button.png
|
|
border: 5
|
|
|
|
hover state:
|
|
bordered image:
|
|
source: button_hover.png
|
|
border: 5
|
|
|
|
down state:
|
|
text translate: [1, 1]
|
|
bordered image:
|
|
source: button_down.png
|
|
border: 5
|
|
panels:
|
|
default:
|
|
# the default panel is empty
|
|
|
|
mainMenuBackground:
|
|
image: background.png
|
|
antialised: true
|
|
|
|
roundedGridPanel:
|
|
bordered image:
|
|
source: panel_rounded.png
|
|
border: 4
|
|
|
|
flatPanel:
|
|
bordered image:
|
|
source: panel_flat.png
|
|
border: 1
|
|
|
|
labels:
|
|
default:
|
|
|
|
large:
|
|
font: helvetica-12px-bold
|
|
|
|
windows:
|
|
default:
|
|
font: helvetica-11px-bold
|
|
font color: [240, 173, 77, 255]
|
|
head:
|
|
height: 20
|
|
bordered image:
|
|
source: window.png
|
|
size: [256, 19]
|
|
border: 4
|
|
bottom: 3
|
|
|
|
body:
|
|
bordered image:
|
|
source: window.png
|
|
size: [256, 237]
|
|
offset: [0, 19]
|
|
border: 4
|
|
top: 0
|
|
|
|
text edits:
|
|
default:
|
|
default size: [86, 20]
|
|
text margin: 3
|
|
bordered image:
|
|
source: panel_flat.png
|
|
border: 1
|
|
|
|
line decorations:
|
|
default:
|
|
bordered image:
|
|
source: horizontal_separator.png
|
|
top: 2
|