.title { text-align: center; }
div#validations { text-align: center; margin-left: auto; margin-right: auto; }
html {
    font-family: serif;
    line-height: 150%;
    background-color: rgb(85%,90%,85%);
}
h1, h2, h3 { font-family: sans-serif; }
h1 { font-size: 140%; }
div.content > h2 { clear: left; float: left; width: 22%; margin: 0; margin-left: -30%; font-size: 100%; padding: 0; }
body {
    margin:0;
    padding:0;
    margin-left: 20%;
    padding-left: 0;
    margin-right: 15%;
    background-color: white;
    padding: 1em;
    color: black;
}
body>p { margin-left: 1em; }
.quicknote { font-size: 70%; }
a.nohighlight { color: black; }
a { color: rgb(0%,0%,40%); text-decoration: none; }
a:hover { color: blue; text-decoration: underline; }
a.person { color: black; }
a:hover.person { color: blue; text-decoration: underline; }
.datelist dt { display: inline; font-style: italic; }
.datelist dd { display: inline; float: none; }
.datelist dt+dd { display: block; }
dd>p { margin-top: 0; }
dl dt { font-weight: bold; font-family sans-serif; }
dd > dl dt, dd > dl dd { display: inline;  }
dd > dl dd:after{
  display: block;
  content: '';
}
dl dt dl dt { padding-left: 10%; }
ul.bl { list-style: none; margin-left: 0; padding-left: 0.5em; text-indent: -0.5em; }
ul.bl li:before { content: "\2014" "\0020"; }
ul.bl p { display: inline; }
li { margin-top: .5em; }
#format-list {
    font-size: 70%;
    margin: 2em;
    width: 80%;
    padding: 5px;
    font-family: sans-serif;
}

.side-format-list {
    clear: left;
    float: left;
    width: 22%;
    margin: 0;
    margin-left: -30%;
    font-size: 70%;
    padding: 0;
    padding: 5px;
    font-family: sans-serif;
}

#table-of-contents {
    position: fixed;
    left: 87%;
    top: 5ex;
    width: 10%;
    font-size: 70%;
    font-family: sans-serif; line-height: 100%;
}
#table-of-contents h2 { line-height: 120%; }
#table-of-contents p { display: inline; margin: 0; padding: 0; }
#table-of-contents ul { margin: 0; padding: 0; }
#table-of-contents ul li { margin: 0; padding: 0; }

.side-format-list p, #format-list p {
    display: inline;
}

.side-format-list ul, .side-format-list li, #format-list ul, #format-list li {
    display: inline;
    padding: 0 .5ex 0 .5ex;
}