div[class^='highlight'] pre {
  font-size: 14px;
  font-family: Consolas, Menlo, Monaco, Lucida Console, Liberation Mono, DejaVu
               Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace,
               sans-serif;
}