h1, h2, h3, h4 { margin: 0.5ex auto 0.25ex }
h1, h2, h3 { font-weight: bold; color: #336 }
h1 {padding-top: 0}
h2, h3 {padding: 1ex 0 0.5ex 0}
div#toc h2 {padding-top: 0}
h4 {padding: 1ex 0 0 0}
body {
    font-family: Palatino, "Palatino Linotype", "urw palladio", "Book Antiqua", serif;
    background-color: #eee;
    padding: 0;
}
div.content {
    max-width: 45em;
    margin: 2ex auto 0 42ex;
    padding: 0 2em;
}
h1 { text-align: center }
div.bkg {
    position:fixed; top: 0pt; left:0pt; width: 100%; height: 600pt;
    z-index: -2; margin: 0 auto; opacity: 0.07;
    background: url(polyglot-logo3.svg) no-repeat center;
    background-size: 400pt 501pt;
}
div#toc {
    max-width: 35ex;
    z-index: 1;
    position: fixed;
    background-color: #f8f8f8;
    opacity: 0.9;
    padding: 1em;
    margin: 0;
    border: #888 1px solid;
    font-size: 90%;
    -moz-box-shadow: 3px 3px 5px #aaa;
    -webkit-box-shadow: 3px 3px 5px #aaa;
    box-shadow: 3px 3px 5px #aaa;
}
a {text-decoration: none}
a:hover {color: #f00;}
ul {margin: 0.5ex auto 0.5ex}
li {margin: 0ex auto 0.25ex}
p, div {margin: 1ex auto 2ex}
pre {margin: 2ex 2em}
div.figure {margin: 2ex auto; text-align: center}
div.caption {margin: 0ex auto; font-weight: bold}
p.validated {
    text-align: right;
    opacity: 0.5;
}
.invisible {
    visibility:hidden;
    position:absolute;
}
.namelink:hover {
    color:#ff0000;
    cursor:pointer;
}
.load:hover {
    cursor:pointer;
}

a.pre {
	color: black;
	text-decoration: none;
	border: none;
}
span.keyword {color: #804; font-weight: bold}
span.annotation {color: #666}
span.commenttag {color: #080}
span.comment {color: #080; font-style: italic}
span.javadoc {color: #46c}
span.tasktag {color: #8ac; font-weight: bold}
span.lineno {color: #999; font-style: italic}

ul#toc {padding-left: 1em}
/* ul#toc li {margin-left: 0; text-indent: 0; padding-left: 0} */