var themes = [];
themes[0] = 'css/hpi-orange.css';
themes[1] = 'css/hpi-orange-fixed.css';
var current = 0;

/**
 * switch current theme.  
 */
function switch_theme() {
	current += 1;
	if (current > (themes.length - 1)) {
		current = 0;
	}
	document.getElementById('css-theme').href = themes[current]; 
}