function selectTheme() {
	document.location.href = document.getElementById('select_theme').options[document.getElementById('select_theme').selectedIndex].value;
}

function selectSize() {
	document.location.href = document.getElementById('select_size').options[document.getElementById('select_size').selectedIndex].value;
}