| #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 { |
| list-style: none; |
| margin-bottom: 4em; |
| } |
| |
| 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; |
| } |
| |
| .section pre { |
| background-color: #b2c9db; |
| padding: 5px; |
| border-radius: 5px; |
| } |
| |
| td { |
| padding: 2px; |
| } |
| |
| tr:nth-child(even) { |
| background-color: #eee; |
| } |
| |
| tr.header td { |
| font-weight: bold; |
| padding-top: 1em; |
| padding-bottom: 0.5em; |
| } |