function increaseView() {
	document.styleSheets[3].disabled = false;
}
function defaultView() {
	document.styleSheets[3].disabled = true;
}