p a {font-size: larger}
h1 { font-family: sans-serif}
h2 { margin-left: 20% }
body {font-size: 14pt}

p { text-indent: 1em}
p+p { margin-top: -0.6em}

details { background-color:#FFFFFF }

pre { background-color:#F4F4E8; font-size:14pt; border: 1px solid #F0F0C8 }
code { background-color:#F8F0E8; font-size:15pt }
pre:hover { background-color: #FFFFFF }
    
ul li {margin-top: 0.5em}
body { width:65%; background-color:#FFFFE8; margin-left:16% }

ul.toc { background-color: #F8F8F8; border: 1px solid #D0D0D0; }
ul.toc a { color: #080000 }
ul.toc a:visited { color: #404030 }
ul.toc a:hover { background-color: #E8E8FF }
//div#tocBase { float:left; margin-left:-16%; width:20% }