// functions to write Javascript-dependent content into pages

// write the links for switching between stylesheets
function writeStyleLinks() {
	document.writeln('<div id="linkList2">');
	document.writeln('<h3 class="select"><span>Another view:</span></h3>');
	document.writeln('<ul>');
	document.writeln('<li><a href="#" onkeypress="setActiveStyleSheet(' + "'Default'" + ');return false;" onmousedown="setActiveStyleSheet(' + "'Default'" + ');return false;">Default</a></li>');
	document.writeln('<li><a href="#" onkeypress="setActiveStyleSheet(' + "'Trick'" + ');return false;" onmousedown="setActiveStyleSheet(' + "'Trick'" + ');return false;">Trick me</li>');
	document.writeln('<li><a href="#" onkeypress="setActiveStyleSheet(' + "'Piet'" + ');return false;" onmousedown="setActiveStyleSheet(' + "'Piet'" + ');return false;">For Piet' + "'s" + ' sake!</li>');
	document.writeln('</ul>');
	document.writeln('</div>');
}