body {
	font-size: 120%;
}
code {
	white-space: pre-line;
    display: inline-block;
}
ol {
	counter-reset: item;
	padding-left: 1em;
}
ol li {
	display: block;
}
ol li:before {
	content: counters(item, ".") ". ";
	counter-increment: item;
}
a.toclink {
    font-size: 25%;
}
a.toclink:before {
    content: "▲ ";
}