.wst-mono {
	/* "monospace, monospace" per [[WP:MONO]] */
	font-family: monospace, monospace;
}