html, body {
font-family: "Segoe UI", Tahoma, Geneva, Verdana, sans-serif;
font-size: 14px;
}
div.code-block {border:1px solid silver; padding:5px; margin:5px; color:Green; background-color:#efefef;}
h3 {margin:5px 0px 1px 0px}
div.section {padding:10px 1px 10px 1px}
table.definitions {border-collapse:collapse; border:1px solid silver}
table.definitions td {padding:8px; border:1px solid silver;}