body
{
font-family: Georgia, serif;
font-size: 12pt;
/* This leads to about 84 characters (including spaces) per line.
Some people (e.g., http://typophile.com/node/78173) believe this is too much.
But research suggests they are wrong:
http://psychology.wichita.edu/surl/usabilitynews/72/LineLength.asp */
margin: auto;
background-color: white;
color: black;
line-height: 1.5em;
border: 0;
/* border-top: solid 1em #00A1CB; */
}

a
{
color: #113F8C;
}

a:visited
{
color: #D70060;
}

a:hover
{
color: white;
background-color: #113F8C;
}

blockquote
{
/* background-color: #eee; */
font-style: italic;
padding: 3pt 6pt 3pt 6pt;
}

code, pre
{
background-color: #eee;
padding: 3pt 6pt 3pt 6pt;
line-height: 140%;
font-family: Consolas, Menlo, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;
}

h1, h2, h3, h4
{
font-weight: normal;
line-height: 100%;
}

h1
{
font-size: 24pt;
margin-bottom: 1.5em;
}

h2
{
font-size: 18pt;
}

h3
{
font-size: 14pt;
}

h4
{
font-size: 12pt;
}

h1 code
{
font-size: 23pt;
}

h2 code
{
font-size: 17pt;
}

h3 code
{
font-size: 13pt;
}

h4 code
{
font-size: 11pt;
}

hr
{
color: black;
background-color: black;
margin: 0;
padding: 0;
border: none;
height: 1px;
}

li
{
padding-bottom: 0.5em;
}

li:last-child
{
padding-bottom: 0;
}

ul ul
{
padding-top: 0.5em;
}

p code, p pre
{
font-size: 11pt;
}

pre
{
overflow: auto;
width: auto;
}

sub
{
vertical-align: bottom;
font-size: 75%;
line-height: 100%;
}

sup
{
vertical-align: text-top;
font-size: 75%;
line-height: 50%;
}

#wrapper
{
max-width: 45em;
margin: 1em auto 0 auto;
}

#copyright
{
font-size: 9pt;
/* text-align: center; */
clear: both;
margin: 2em 0 2em 0;
padding: 0;
/* padding: 2pt 0 0 0;
border-top: solid 2px #00A1CB; */
}

#main
{
margin: 0;
padding: 0;
}

#nav
{
margin: 0;
padding: 0;
border: 0;
padding-bottom: 1.5em;
text-align: left;
/* border-bottom: solid 2px #00A1CB; */
}

#nav ul
{
margin: 1em 0 0 0;
padding: 0 0 0 0;
}

#nav li
{
display: inline;
list-style-type: none;
margin: 0 1em 0 0;
padding: 0 1em 0 0;
}
/*
border-right: solid 1px #616161;
}

#nav li:first-child
{
border-right: none;
}

#nav li:last-child
{
border-right: none;
} */

#nav a
{
font-weight: bold;
}

#nav a:visited
{
color: #113F8C;
}

#nav a:hover
{
color: white;
}

a#home_link
{
color: black;
text-decoration: none;
font-size: 18pt;
font-weight: normal;
}

a#home_link:visited
{
color: black;
}

a#home_link:hover
{
color: white;
}

.attribution
{
text-align: right;
font-style: italic;
}

.cl
{
/* for TtH 3.85
padding-bottom: 2em; */
font-size: 150%;
}

.indented
{
font-style: normal;
}

h4
{
font-weight: bold;
}