body {
	font-size: 16px;
}
tt {
	background-color: #8402;
}
pre {
	border-left: 1ex #8402 solid;
	margin-left: 2ex;
	padding-left: 2ex;
}
span.choice_option_letter {
	font-family: monospace;
	color: gray;
}
span.choice_option_letter::after {
	content: '';
}