/* include css that is only considered when javascript is available */
(function () {
	var head = document.getElementsByTagName("head")[0];
	if (head) {
		var scriptStyles = document.createElement("link");
		scriptStyles.rel = "stylesheet";
		scriptStyles.type = "text/css";
		scriptStyles.href = "/ui/css/javascript.css";
		head.appendChild(scriptStyles);
	}
}());