body {
    margin: 5px auto;
    width: 800px;
    font-family: "Open Sans";
}
pre.code {
    padding: 8px;
    background-color: rgb(223, 227, 247);
}
a {
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}
table.toc td {
    padding: 0px;
}
table.toc table.l2 {
    padding-left: 16px;
}
		     
div.code {
    background: #f0f0f0;
    padding: 6px;
    font-family: monospace;
    white-space: pre;
}
span.kw {
    color: #007090;
}
span.comment {
    color: #808080;
}