body {
  margin: 0px 0px;
  padding: 0px;
  background-color: white;
  color: black;
  font-family: serif;
}
@media screen {
  div.book, div.chapter, div.index, div.sect1, div.appendix, div.refentry,
  div.navheader, div.navfooter {
    padding-left: 16px;
    padding-right: 16px;
  }
  div.navheader, div.navfooter {
    background-color: #f6cd7a;
    margin: 0px 0px;
    padding-top: 4px;
    padding-bottom: 4px;
  }
  div.navheader { border-bottom: 1px solid #ab2f11; margin-bottom: 24px; }
  div.navfooter { border-top: 1px solid #ab2f11; margin-top: 30px; }
  a:visited { color: #5b1508; }
}
@media print {
  div.navheader, div.navfooter { visibility: collapse; display: none; }
  a:visited { color: #808080; }
}
.mathvar { font-style: italic; }
.vector { font-weight: bold; }
.caption { font-style: italic; font-size: 90%; }
a { text-decoration: none; }
a:link { color: #811e0b; }
a:visited { color: #a8280f; }
a:link:hover, a:link:active { background-color: #f9dda4; color: #5b1508; }
img { border: 1px solid white; }
a img:hover { border: 1px solid #ab2f11; }
h1, h2, h3, h4, div.navheader, div.navfooter { font-family: sans-serif; }
h1 { margin-bottom: 6px; }
h2, h3, h4 { margin-bottom: 0px; }
h3.author { margin-top: 2px; }
.guibutton, .guiicon, .guilabel, .guimenu, .guimenuitem, .guisubmenu {
  font-style: italic;
}
p { line-height: 130%; }
#TitleImage { margin-top: 12px; float: right; border: none; }
.programlisting { background-color: #f5f5f5; padding: 6px 12px; }
.programlisting .keyword { font-weight: bold; color: #a52a2a; }
.programlisting .type { font-weight: bold; color: #208052; }
.programlisting .literal, .programlisting .string, .programlisting .number {
    color: #ff00ff;
}
.programlisting .comment { font-style: italic; color: #707080; }
.programlisting .function { color: #007b7b; }
.programlisting .symbol { color: #6041b2; }
.programlisting .preproc { color: #800080; }
table { border-collapse: collapse; border-spacing: 0px; }
table, th, td { border: 0px; }
table.informaltable th { background-color: #f9dda4; }
table.informaltable th, table.informaltable td {
  padding-left: 8px; padding-right: 8px; padding-top: 3px; padding-bottom: 3px;
}
table.informaltable td { border-bottom: solid 1px #f9dda4; }
table.informaltable { border-bottom: solid 3px #f9dda4; }
.image-grid table.informaltable, .toolbox table.informaltable {
  border-bottom: 0px;
}
.image-grid table.informaltable td, .toolbox table.informaltable td {
  border-bottom: 0px; padding: 6px;
}