#general settings
desktop-image: "menu.jpg"
title-text: ""
terminal-top: "0%"
terminal-width: "100%"
terminal-left: "0%"
terminal-height:"100%"
terminal-font: "DejaVu Sans Regular 10"


+ boot_menu {
	left = 10%
	width = 80%
	top = 20%
	height = 60%
	item_font = "DejaVu Sans Regular 12"
	item_color = "gray"
	selected_item_font = "DejaVu Sans Bold 14"
	selected_item_color= "white"
	item_height = 26
	item_padding = 0
	item_icon_space = 0
	item_spacing = 1
}