// JavaScript Document

// Christmass
var d = new Date();
if (d.getMonth() == 11 || (d.getMonth() == 0 && d.getDate() < 6)) {
	document.getElementById("topbar").className = 'topbar-christmass';
	document.getElementById("spacebar").className = 'spacebar-christmass';
	document.getElementById("navbar").className = 'navbar-christmass';
}