body {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80%}
h1 {margin: 0.67em 200px 0.33em 5%; color: silver}
h2 {margin: 0 200px 0 5%; padding: 0.5em 0; color: silver; border-right: 1px solid #ddd}
p, ul, ol {margin: 0 200px 0 8%; padding: 0 2% 1em 0; border-right: 1px solid #ddd}
ul, ol {margin-left: 12%; padding-right: 7%}
ul li, ol li {margin-bottom: 0.5em}
li p {margin: 0.25em 0 0 0; padding: 0; border: none}
a:hover {background-color: #f6f9ed}

.note {font-size: 85%; color: gray}
.author {font-size: 91%; color: gray}
p#author {font-size: 80%; margin: 0 0 1em 5%; border: none}

p.image-divider {text-align: center}

div#header {margin-bottom: 1em; text-align: center}

div#language-bar {margin: 0 0 1.5em 8%; font-size: 80%; font-weight: bold}
div#language-bar a {background-color: #bbb; padding: 0 0.4em 0.1em 0.4em; text-decoration: none; color: white}
div#language-bar a:hover {background-color: #b9a5a5}

div#toc {float: right; width: 200px}
div#toc ul {margin: 0; padding: 0; border: none}
div#toc ul li {display: block; margin: 0; padding: 0.5em 1em; font-size: 80%}
div#toc ul li.current {font-weight: bold; background-color: #ddd}

div.margin-note {float: right; clear: right; width: 200px}
div.margin-note p {margin: 0; padding: 0.5em; border-style: none; background-color: #ddd}
div.margin-note ul {margin: 0.5em 0.5em 0.5em 1.75em; padding: 0; border-style: none; font-size: 91%}

div.margin-image { float: right; clear: right; width: 200px; text-align: center}
div.margin-note div.margin-image { margin-top: 4em; }
div.margin-image p {margin: 0 10px; border: none; font-size: 85%; ; background-color: transparent}

div.image-line {margin: 0 200px 0 8%; padding: 0 2% 1em 0; border-right: 1px solid #ddd; text-align: center}
div.image-line img {margin: 0.5em; border: none}

#copy {margin: 0 200px 0 8%; text-align: center; font-size: 80%; color: silver; border-top: 1px solid #ddd; padding-top: 0.5em}