@charset "UTF-8";

.disclaimer {
    border-top: double solid black;
    padding-top: 1ex;
    font-size: smaller;
    text-align: right;
}

body {
    margin: 0 auto;
    padding: 0;
    max-width: 65em;
    min-width: 58em;
    font-family: Palatino, Palatino Linotype, Century Schoolbook, serif;
}

#body {
    margin: 1ex 1em;
    margin-right: 21em;
}

#body p, #body ul, #body ol, #body dl, #body table {
    line-height: 1.4;
}

#body ul {
    list-style: none;
    padding-left: 2.5em;
}

#sidebar > ul > li {
    list-style: url(images/triangle-right.gif) disc;
}

#body ul > li {
    text-indent: -1.5em;
}

#body ul > li > * {
    text-indent: 0;
}

#body ul > li:before {
    content: "\00BB\00A0\00A0\00A0\00A0";
    color: teal;
    text-shadow: 0.2em 0.3em 0.2em black;
}

#body li + li {
    margin-top: 1.5ex;
}

#body img {
    margin: 3ex auto;
    display: block;
    border: thin solid black;
    width: 60%;
}

#sidebar {
    margin: 1em;
    width: 18em;
    float: right;
    font-family: sans-serif;
    line-height: 120%;
}

body > h1, .header {
    margin:             0;
    padding:            1ex 0.5em;
    color:              white;
    background-color:   teal;
    font-family:        Century Schoolbook, serif;
    font-size:          xx-large;
    font-variant:       small-caps;
    font-weight:        bold;
    text-shadow:        0.2em 0.2em 0.2em black;
    border-bottom:      thick solid black;
}

h1,  h2 {
     color: teal;
     padding-left: 0.5em;
     padding-bottom: 0.5ex;
     border-bottom: 2px solid #aaa;
     font-family: Trebuchet MS, sans-serif;
}

h3, h4 {
    color: teal;
}

* + h2, * + h3, * + h4 {
    margin-top: 3ex;
}

span.item, dl.item > dt {
    font-family: Trebuchet MS, sans-serif;
    font-weight: bold;
    color: teal;
}

dl.datelist > dt, dl.courselist > dt {
    font-weight:                bold;
    color:                      #0066CC;
    /*  background-color:       inherit; */
    font-size:          110%;
}

dl.datelist > dd, dl.courselist > dd {
}

dl.datelist > dd + dt {
    padding-top:                1.5ex;
}

.center {
    margin-left: auto;
    margin-right: auto;
    width: 100%;
    text-align: center;
}

#sidebar > hr {
    color:              teal;
    border-bottom: 2px solid #aaa;
}

#sidebar > * + p {
    margin-top: 3ex;
}

td {
    padding-bottom: 1ex;
}

blockquote {
    margin-left: 2em;
    margin-right: 1em;
    padding-left: 1em;
    border-left: thick solid #666;
    color: grey;
    text-align: justify;
    font-style: italic;
}

p.quote-author {
    font-style: normal;
    text-align: right;
}

a.noborder img {
    border: thin solid transparent;
}

a.noborder img:hover {
    border: thin solid blue;
}

pre.example, pre.src {
    background-color: #ddf;
    overflow: auto;
    padding: 1ex 1em;
    margin: 0.5ex 1em;
}

body {
    counter-reset: section subsection;
}

.counters .contents > dl {
    counter-reset: toc-section;
}

.counters .contents > dl > dt:before {
    counter-increment: toc-section;
    content: counter(toc-section) ". ";
}

.counters h2:before {
    counter-increment: section;
    content: counter(section) ". ";
}

.counters h2 {
    counter-reset: subsection;
}

.counters h3:before {
    counter-increment: subsection;
    content: counter(section) "." counter(subsection) ". ";
}