	<form>
		<fieldset>
			<legend aria-describedby="about-theme-options">Theme Options</legend>
			<p id="about-theme-options">theme options requires javascript</p>
			<script>
				const id = "about-theme-options";
				const element = document.getElementById(id);
				element.innerHTML = element.innerHTML.concat(" (javascript enabled)");
			</script>

			<label id="color-theme-label" for="color-theme">color theme</label>
			<select id="color-theme" name="color-theme">
				<option value="dark-theme">dark (default)</option>
				<option value="classic-theme">classic</option>
				<!--
				<option value="high-contrast-theme">high contrast</option>
				-->
			</select>

			<label id="fonts-label" for="fonts">fonts</label>
			<select id="fonts" name="fonts">
				<option value="monospace-font">monospace (default)</option>
				<option value="default-font">browser default</option>
				<!--
				<option value="comic-sans-font">Comic Sans</option>
				-->
			</select>

			<input type="button" value="apply settings" onclick="apply_theme_options()">
		</fieldset>
	</form>