div.code {font-weight: bold;}
div.code span.line {font-weight: normal;}
div.code span.comment {font-weight: normal;}
div.term kbd {font-weight: bold;}