| #main { | |
| margin-left: auto; | |
| margin-right: auto; | |
| max-width: 55em; | |
| text-align: justify; | |
| } | |
| h2 { | |
| font-family: monospace; | |
| background-color: #b2c9db; | |
| padding: 7px; | |
| border-radius: 7px; | |
| } | |
| div.title { | |
| margin-bottom: 2em; | |
| } | |
| ol.toc { | |
| list-style: none; | |
| padding-left: 0; | |
| margin-bottom: 4em; | |
| } | |
| ol.toc li a { | |
| color: black; | |
| } | |
| li.header { | |
| margin-top: 1em; | |
| margin-bottom: 0.3em; | |
| font-weight: bold; | |
| } | |
| div.decl p:first-child { | |
| margin-top: 2.5em; | |
| } | |
| div.decl p:first-child .first-word { | |
| font-weight: bold; | |
| font-family: monospace; | |
| } | |
| .sectionpreamble { | |
| margin-top: 5em; | |
| } | |
| .sectionpreamble p:first-child { | |
| font-weight: bold; | |
| font-size: 1.5em; | |
| } | |
| pre.code { | |
| background-color: #b2c9db; | |
| padding: 5px; | |
| border-radius: 5px; | |
| } | |
| p.warning { | |
| background-color: #fef5d3; | |
| padding: 5px; | |
| border-radius: 5px; | |
| } | |
| p.warning .first-word { | |
| font-weight: bold; | |
| } | |
| .comment pre { | |
| margin-left: 2em; | |
| } | |
| td { | |
| padding: 2px; | |
| } | |
| tr:nth-child(even) { | |
| background-color: #eee; | |
| } | |
| tr.header td { | |
| font-weight: bold; | |
| padding-top: 1em; | |
| padding-bottom: 0.5em; | |
| } |