/* code.css */
.code {
white-space: pre;
font-family: monospace;
margin: 1em;
padding: 1em;
background-color: #F8FAFF;
}
.comment {
white-space: normal;
font-family: Helvetica,sans-serif;
font-size: smaller;
}