.monospaced {
	/* monospace, monospace" needed per Wikipedia:Typography#The_monospace_'bug' */
	font-family: monospace, monospace;
}