// JavaScript Document

	document.write('<LINK REL="alternate stylesheet" HREF="/campus/common/css/font_s.css" type="text/css" media="all" title="Small">');
	document.write('<LINK REL="alternate stylesheet" HREF="/campus/common/css/font_l.css" type="text/css" media="all" title="Large">');
	document.write('<SCRIPT LANGUAGE="JavaScript" SRC="/campus/common/js/styleswitcher.js"></SCRIPT>');