h3 code {
	font-family: inherit ;
}

pre {
	font-size: 105% ;
}