/* This file intentionally left blank. */

div.body h1 { margin-top: 0; padding-top: 0; font-size: 200%; }
div.body h2 { font-size: 150%; }
div.body h3 { font-size: 120%; }
div.body h4 { font-size: 100%; }
div.body h5 { font-size: 80%; }
div.body h6 { font-size: 80%; }

div.admonition p.admonition-title {
    font-family: Georgia, serif;
    font-weight: normal;
    font-size: 14px;
    margin: 0 0 10px 0;
    padding: 0;
    line-height: 1;
}