# General dumping-ground for UI element sizes, etc.

Metrics:
	ButtonDepth: 0
	ButtonFont: Bold
	CheckboxPressedState: true
	TextfieldColorHighlight: 800000