// functions to write Javascript-dependent content into pages

// write the links for switching between stylesheets
function writeStyleLinks() {
	document.writeln (':&nbsp;<a href="http://www.watfordmuseum.org.uk/custom.html" class="menuitem" accesskey="u">Customise</a>');
}