body { margin: auto; padding-right: 1em; padding-left: 1em; max-width: 44em; border-left: 1px solid black; border-right: 1px solid black; color: black; font-family: Verdana, sans-serif; font-size: 100%; color: #333; } pre { border: 1px dotted gray; background-color: #ececec; color: #1111111; padding: 0.5em; } code { font-family: monospace; }

header { text-align: center; }

h1 a, h2 a, h3 a, h4 a, h5 a { text-decoration: none; color: #046380; } h1, h2, h3, h4, h5 { font-family: verdana; font-weight: bold; border-bottom: 1px dotted black; color: #046380; }

header h1, header h2, header h3, header h4 { border-bottom: none; color: #183152 }

h1 { font-size: 130%; }

h2 { font-size: 110%; }

h3 { font-size: 95%; }

h4 { font-size: 90%; font-style: italic; }

h5 { font-size: 90%; font-style: italic; }

h1.title { font-size: 200%; font-weight: bold; padding-top: 0.2em; padding-bottom: 0.2em; border: none; }

dt code { font-weight: bold; } dd p { margin-top: 0; }

table { border: 1px solid black; border-spacing: 0.5em; border-collapse: collapse; }

table td, table th { border: 1px solid black; padding: 0.15em }

figure { text-align: center; }