| body { |
| margin: 2%; |
| padding: 0 5%; |
| background: #ffffff; |
| } |
| h1,h2,h3,h4,h5 { |
| font-weight: bold; |
| padding: 5px 5px 5px 5px; |
| background-color: #c2e0ff; |
| color: #336699; |
| } |
| h1 { |
| padding: 2em 2em 2em 5%; |
| color: white; |
| background: #336699; |
| text-align: center; |
| letter-spacing: 3px; |
| } |
| h2 { text-decoration: underline; } |
| pre { |
| margin: 0 5%; |
| padding: 0.5em; |
| } |
| pre.example { |
| border: solid 1px; |
| background: #eeeeff; |
| padding-bottom: 1em; |
| } |
| pre.verbatim { |
| border: solid 1px gray; |
| background: white; |
| padding-bottom: 1em; |
| } |
| div.node { |
| margin: 0 -5% 0 -2%; |
| padding: 0.5em 0.5em; |
| margin-top: 0.5em; |
| margin-bottom: 0.5em; |
| font-weight: bold; |
| } |
| dd, li { |
| padding-top: 0.1em; |
| padding-bottom: 0.1em; |
| } |
