.definition {
	color: #00A500 ;
}

pre {
	font-size: 11pt ;
}

:target {
	line-height: 2.5em ;
}