1
body { margin-left:2%; margin-right:2%; font-family:serif; }
2
.toc, .list-of-tables, .list-of-examples { font-family:sans-serif; }
3
h1, h2, h3, h4, h5, h6 { font-family:sans-serif; }
4
em.replaceable code { font-family:sans-serif; }
5
p { text-align:justify; }
6
div.table p.title, div.example p.title { font-size:smaller; font-family:sans-serif; }
7
.email, .email a { font-family:monospace; }
8
div.table-contents table { border-collapse:collapse; border:1px solid #c0c0c0; }
9
div.table-contents table td, div.table-contents table th { padding:5px; text-align:left; }
10
div.table-contents table th {
11
font-family:sans-serif;
16
pre.screen, div.note { background:#f0f0f0; border:1px solid #c0c0c0; padding:5px; }
17
div.note h3 { font-size:small; font-style:italic; font-variant: small-caps; }
18
div.note h3:after { content: ":" }
19
div.note { margin-bottom: 5px; }