body, body * {
	font-family: monospace;
	max-width: 80ch;
}

pre {
	border: 1px solid #e6e6e6;
	border-radius: 3px;
	background-color: #f2f2f2;
	padding: 8pt;
	font-family: monospace;
	overflow: auto;
	margin: 1.2em;
}

pre.src {
	position: relative;
	overflow: auto;
}

pre.src:before {
	display: none;
	position: absolute;
	top: -8px;
	right: 12px;
	padding: 3px;
	color: #555;
	background-color: #f2f2f299;
}

pre.src:hover:before { display: inline; margin-top: 14px;}
pre.src-C:before { content: 'C'; }