| #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; | 
 | } |