.highlight  { background: #f8f8f8; color: black; }
.highlight pre { font-size: 1em; }