body
{
    font-family: Cambria, "Times New Roman", Serif;
    font-size: 1.0em;
    color: #000000;
}

body
{
    background-color: #FFFFFF;
}

h1
{
    margin-top: 0.25em;
    margin-bottom: 0.25em;
    font-size: 1.35em;
}

h2
{
    margin-top: 0.7em;
    margin-bottom: 0.25em;
    font-size: 1.15em;
}

h3
{
    margin-top: 0.5em;
    margin-bottom: 0.25em;
    font-size: 0.95em;
}

h4
{
    margin-top: 0.5em;
    margin-bottom: 0.25em;
    font-style: italic;
    font-weight: normal;
}

p
{
    margin-top: 0.5em;
    margin-bottom: 0.25em;
}

/* The style p.Figure was formerly important when we built a printed manual. Now that we don't build a
printed manual, we still declare the styles rather than attempt to excise them from the HTML source files. */
p.Figure
{
}

p.Indented
{
    margin-left: 3.2em;
}

p.Monospace
{
    font-family: Consolas, Monospace;
    font-size: 0.9em;
}

p.Monospace-Indented
{
    font-family: Consolas, Monospace;
    font-size: 0.9em;
    margin-left: 3.2em;
}

div.indent
{
    margin-left: 2.5em;
}

div.codesection
{
    margin-top: 1.0em;
    margin-bottom: 1.0em;
}

div.codesection p
{
    margin-top: 0.0em;
    margin-bottom: 0.0em;
    font-family: Consolas, Monospace;
}

.Code
{
    font-family: Consolas, Monospace;
}

 .Monospace
{
    font-family: Consolas, Monospace;
}

.KeyPress
{
    font-size: 0.8em;
}

.YAML-identifier
{
    font-family: Consolas, Monospace;
    font-weight: bold;
    color: #000080;
}

.YAML-comment
{
    font-family: Consolas, Monospace;
    font-style: italic;
    color: #008000;
}

.TODO
{
    color: #FF0000;
}

ul, ol
{
    margin-top: 0.8em;
    margin-bottom: 0.5em;
}

ol.alpha
{
    list-style-type: lower-alpha;
}

table
{
    width: 100%;
    font-size: 1.0em;
}

tr
{
    vertical-align: top;
}

.leftAlign td, .leftAlign th, td.leftAlign, th.leftAlign
{
    text-align: left;
}

.rightAlign td, .rightAlign th, td.rightAlign, th.rightAlign
{
    text-align: right;
}

.bottomAlign tr, tr.bottomAlign
{
    vertical-align: bottom;
}

a:link, a:visited
{
    color: #0000EE;
}

a:hover, a:active
{
    color: #FF0000;
}

.Header table
{
    width: 100%;
    float: alignleft;
    border-bottom-width: 1px;
    border-top: thin solid #1E90FF;
    border-left: thin solid #1E90FF;
    border-right: thin solid #1E90FF;
    border-bottom: thin solid #1E90FF;
    background-color: #B7E2F0;
    margin-bottom: 1em;
    table-layout: fixed;
}

.Header td
{
    padding-right: 10px;
    padding-left: 10px;
}

.Header tr
{
    vertical-align: middle;
    height: 66px;
}

col.HeaderImg
{
    width: 128px;
}

img
{
    border: none;
}

table.numbered
{
    float: alignleft;
    border-collapse: collapse;
    border-top: none;
    border-left: none;
    border-right: none;
    border-bottom: none;
}

table.numbered th
{
    text-align: right;
    vertical-align: bottom;
    font-weight: normal;
}

table.note, table.warning, table.example, table.figureTitle
{
    float: alignleft;
    margin-top: 0.5em;
    margin-bottom: 0.25em;
    border-collapse: separate;
    border-spacing: 0.4em;
    border-top: none;
    border-left: none;
    border-right: none;
    border-bottom: none;
}

table.note td, table.warning td
{
    font-style: italic;
}

table.warning td
{
    color: #FF0000;
}

table.figureTitle
{
    font-weight: bold;
}

table.note td.caption, table.warning td.caption, table.example td.caption
{
    font-weight: bold;
    width: 6em;
}

table.figureTitle td.caption
{
    width: 4.5em;
}

@media print {
    a:link, a:visited, a:hover, a:active {
        color: inherit;
        text-decoration: inherit;
    }
}