body {
    font-family: sans-serif;
    font-size: 10pt;
    color: black;
    background-color: white;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    color: #394986;
    font-height: bold;
    margin-top: 1.33ex;
    margin-bottom: 1.33ex;
}

h1 {
    font-size: 1.8em;
}

h2 {
    font-size: 1.6em;
}

h3 {
    font-size: 1.4em;
}

h4 {
    font-size: 1.2em;
}

h5,
h6 {
    font-size: 1em;
}

table {
    border-spacing: 0;
    font-size: 1em;
}

thead,
tfoot {
    background-color: #EEEEEE;
}

th,
td {
    padding: 0 0.5ex;
}

blockquote {
    margin-top: 1.33ex 4ex;
}

p,
th,
td,
li,
dt,
dd {
    font-size: 1em;
}

p,
pre,
ol,
dl,
ul,
table {
    margin-top: 1.33ex;
    margin-bottom: 1.33ex;
}

code,
kbd,
tt,
pre {
    font-family: monospace;
    font-size: 90%;
}

pre {
    white-space: pre;
    background-color: #EEEEEE;
    border: 1px solid #C0C0C0;
    padding: 1ex;
}

li {
    margin-top: 1.33ex;
    margin-bottom: 1.33ex;
}

*[compact] > li {
    margin-top: 0;
    margin-bottom: 0;
}

dt {
    margin-top: 1.33ex;
    margin-bottom: 0;
}

dd {
    margin-top: 0;
    margin-bottom: 1.33ex;
}

*[compact] > dt {
    margin-top: 0;
}

*[compact] > dd {
    margin-bottom: 0;
}

div.toc,
div.index,
div.list-of-figures,
div.list-of-tables,
div.list-of-examples,
div.list-of-equations,
div.list-of-procedures {
    margin-top: 1.33ex;
    margin-bottom: 1.33ex;
}

div.toc dl,
div.index dl,
div.list-of-figures dl,
div.list-of-tables dl,
div.list-of-examples dl,
div.list-of-equations dl,
div.list-of-procedures dl {
    margin-top: 0;
    margin-bottom: 0;
}

div.toc dt,
div.index dt,
div.list-of-figures dt,
div.list-of-tables dt,
div.list-of-examples dt,
div.list-of-equations dt,
div.list-of-procedures dt {
    margin-top: 0.25ex;
    margin-bottom: 0.25ex;
}

div.toc dd,
div.index dd,
div.list-of-figures dd,
div.list-of-tables dd,
div.list-of-examples dd,
div.list-of-equations dd,
div.list-of-procedures dd {
    margin-top: 0;
    margin-bottom: 0;
}

div.toc span.part,
div.toc span.chapter,
div.toc span.appendix {
    font-weight: bold;
}

div.attribution {
    text-align: right;
}

div.sidebar {
    background-color: #EEEEFF;
    border: 1px solid #C0C0DD;
    padding: 1ex;
    margin-top: 1.33ex;
    margin-bottom: 1.33ex;
}

div.sidebar > p.title {
    margin-top: 0.33ex;
}

div.example > p.title,
div.figure > p.title,
div.table > p.title,
div.procedure > p.title,
div.equation > p.title {
    color: #394986;
    font-weight: bold;
}

div.orderedlist,
div.calloutlist {
    margin-top: 1.33ex;
    margin-bottom: 1.33ex;
}

div.orderedlist > table,
div.calloutlist > table {
    margin: 0;
}

div.orderedlist > table td,
div.calloutlist > table td {
    vertical-align: baseline;
}

div.footnote {
    font-size: 0.9em;
}

a:link:hover,
a:visited:hover {
    text-decoration: underline;
}

a:link {
    text-decoration: none;
    color: #004668;
}

a:visited {
    text-decoration: none;
    color: #135678;
}

span.term {
    font-weight: bold;
}

abbr,
acronym {
    font-weight: bold;
}

span.keycap,
span.keycode,
span.keysym,
span.mousebutton {
    font-family: monospace;
    font-size: 90%;
    background-color: #EEEEEE;
    padding: 0.2ex;
}

span.guimenu,
span.guisubmenu,
span.guimenuitem,
span.guibutton,
span.guiicon,
span.interface,
span.guilabel {
    font-weight: bold;
}

a img {
    border-style: none;
}

hr.footnote-hr {
    width: 100px;
    margin-left: 0;
    text-align: left;
}

/* ------------------------------------------------------------------------
 | Syntax highlighting
 +------------------------------------------------------------------------- */

.hl-keyword {
    font-weight: bold;
    color: #602060;
}

.hl-string {
    color: #A00000;
}

.hl-number {
    color: #B08000;
}

.hl-comment {
    font-style: italic;
    color: #808080;
}

.hl-doccomment {
    color: #008080;
}

.hl-directive {
    color: #00A000;
}

.hl-annotation {
    font-weight: bold;
    color: #808080;
}

/*
 * XML
 */

.hl-tag {
    font-weight: bold;
    color: #602060;
}

.hl-attribute {
    color: #0050A0;
}

.hl-value {
    color: #A00000;
}

.hl-doctype {
    color: #008080;
}
