/* The contents of this file are in the public domain.  */

html {
  height: 100%;
}

/* Increase inter-line spacing to improve readability.  */
p, pre, li, dt, dd, table, code, address { line-height: 1.5em; }

body {
  margin: 0 auto;
  padding: 0;
  max-width: 45em;
  height: 100%;
  text-align: justify;
  text-justify: inter-word;
  font-family: monospace;
  font-size: 100%;
  color: #222;
  background-color: #fff;
}

/* We use monospace everywhere so it is important to distinguish
   inline code.  */

.code {
    font-size: 98%;
    font-style: oblique;
}

/***********************************************************/
/*                      HEADERS                            */
/***********************************************************/

.chapter, .section, .subsection, .subsubsection,
.appendix, .appendixsec, .appendixsubsec,
.unnumbered, .unnumberedsec, .unnumberedsubsec, .unnumberedsubsubsec,
.subheading, .subsubheading {
/*  color: rgb(32, 74, 135); */
  padding-bottom: 0.15em;
  margin-top: 0.6em;
  margin-bottom: 0.6em;
}

.settitle, .top {
  font-size: 2em;
  text-align: center;
  padding: 0.8em 0.5em;
  margin: 0;
}

.chapter, .appendix, .unnumbered,
.section, .appendixsec, .unnumberedsec,
.subsection, .appendixsubsec, .unnumberedsubsec,
.subsubsection {
  font-size: 1.7em;
  margin-top: 0.9em;
}

.subheading, .unnumberedsubsubsec {
  font-size: 1.5em;
  margin-top: 0.9em;
}

.subheading {
/*  border-top: 1px solid black; */
  padding-top: 0.8em;
}

.subsubheading {
  font-size: 1.15em;
  font-weight: bold;
  margin-top: 1.6em;
}

.chapheading {
  position: absolute;
  height: 0;
  overflow: hidden;
  text-indent: -999em;
}

/***********************************************************/
/*                       LINKS                             */
/***********************************************************/

a:link {
    color: black;
}

a:visited {
    color: black;
}

a:active {
  color: grey;
}

a:hover {
  font-weight: bold;
}

/***********************************************************/
/*                  BLOCK FORMATTING                       */
/***********************************************************/

blockquote,
.smallexample {
  width: 96%;
  padding: 0;
  border: solid #d5d7d6;
  border-width: 0px 0px 0px 5px;
  border-radius: 5px;
  margin: 1em auto;
  background-color: white;
}

blockquote p, pre.smallexample {
  padding: 1em;
  margin: 0;
}

blockquote blockquote {
  border: none;
}

.verbatim, .example, .lisp {
  width: 96%;
  font-size: 98%;
  font-size: oblique;
  margin: 0;
}

#main hr {
  height: 0;
  padding: 0;
  border: 0;
  margin: 0;
  text-indent: -999em;
}

table.cartouche {
/*  background: #eef; */
  width: 85%;
  border-collapse: collapse;
  padding: 0 0.5em;
  border: 1px solid #c8c8c8;
  border: none;
  margin: 0 auto 1em;
}

table.cartouche p {
  padding: 1em;
  margin: 0;
}

table.cartouche td {
  border: none;
}

/***********************************************************/
/*                    MAIN CONTENT                         */
/***********************************************************/

div#main {
  position: absolute;
  top: 0;
  right: 0;
  bottom: 0;
  left: 27%;
  padding: 0;
  margin: 0;
  overflow: auto;
}

div#main li {
  padding: 0 1em 0.5em 0;
}

div#main ul {
  margin: 0;
  padding-left: 3em;
}

h1, h2, h3, h4, p, table, address, dt {
  padding-left: 18px;
  padding-right: 18px;
}

h1, h2, h3, h4, {
  font-weight: bold;
  font-family: monospace;
  font-size: 1em;
  font-weight: bold;
  padding-left: 18px;
  padding-right: 18px;
}

p {
  margin: 1em 0;
}

#languages, #highlighting-settings {
  font-size: 0.9em;
  padding-left: 0.9em;
  margin: 0;
}

#languages {
  padding-top: 0.5em;
  padding-bottom: 0.5em;
}

#highlighting-settings {
  padding-bottom: 1.3em;
}

pre.menu-comment {
  font-size: 1em;
  padding-top: 1em;
  padding-bottom: 0;
  margin: 0;
}

#main .contents li {
  padding-bottom: 0;
}

#main .contents > ul {
  margin-bottom: 1em;
}

table th {
  text-align: left;
}

table td {
    vertical-align: top;
    padding-bottom: .5em;
    padding-right: .5em;
}

img {
  vertical-align: middle;
}

/***********************************************************/
/*                    TOC SIDEBAR                          */
/***********************************************************/

div#shortcontents {
  position: absolute;
  top: 0;
  right: 73%;
  bottom: 0;
  left: 0;
  padding: 0;
  margin: 0;
  overflow: auto;
  background: #657f40;
  z-index: 100;
  list-style-type: none;
  font-size: 0.83em;
  line-height: 1.3;
}

div#tocframe a:link,
div#tocframe a:visited {
  color: #eee;
  text-decoration: none;
}

div#tocframe a:hover {
  color: #fff;
  text-decoration: underline;
}

div#tocframe p.toc_uplink {
  font-size: 1em;
  line-height: 1.125;
  padding: 0.25em 1em 0.25em 0.5em;
  margin: 0;
}

div#tocframe h4 {
  font-size: 1em;
  line-height: 1.125;
  font-weight: bold;
  font-style: italic;
  padding: 0.75em 0.5em 0 0.5em;
  margin: 0;
}

#tocframe .contents {
  background-color: transparent;
  list-style-type: none;
  padding: 0;
  border: 0;
  margin: 0;
}

#tocframe ul.toc, #tocframe form {
  padding: 0.25em 0.5em 1em 0.5em;
  margin: 0;
}
#tocframe ul.toc {
  list-style-type: none;
}

#tocframe ul.toc ul.toc {
  padding: 0;
  margin: 0;
}

#tocframe ul.toc ul.toc ul.toc {
  display: none;
}
#tocframe ul.toc ul.toc li.toc_current ul.toc {
  display: block;
}
#tocframe ul.toc ul.toc ul.toc ul.toc {
  display: none;
}
#tocframe ul.toc ul.toc ul.toc li.toc_current ul.toc {
  display: block;
}

#tocframe ul.toc li {
  padding: 0;
  margin: 0;
}

#tocframe ul.toc > li {
  font-size: 1em;
}

#tocframe .contents > ul.toc > li {
  margin-top: 0.5em;
}

#tocframe ul.toc li li {
  padding-left: 1em;
}

li.toc_current {
  font-weight: bold;
  font-style: italic;
}

li.toc_current ul {
  font-weight: normal;
  font-style: normal;
  background: transparent;
}

/***********************************************************/
/*                     NAVIGATION                          */
/***********************************************************/

.nav_table {
  width: 100%;
  background-color: grey;
  color: #505050;
  font-size: 1.83em;
  border-collapse: separate;
  padding: 5px 18px;
  border: none;
  margin: 0;
}

.nav_table a:link,
.nav_table a:visited {
  color: #505050;
  text-decoration: none;
}

.nav_table a:hover {
  color: #000;
  text-decoration: underline;
}

.nav_table tr,
.nav_table a {
  padding: 0;
  margin: 0;
}

.nav_table td {
  padding: 0.1em 0px;
  margin: 0;
}

div.header {
  background: grey;
  text-align: center;
  padding: 0.5em;
  border-bottom: 1px solid black;
  margin: 0;
  height: auto;
}

div.header h1 {
  font-size: 2em;
  padding: 0.25em;
  margin: 0;
}

div.subheader {
  background: #ddd;
  padding: 0;
  margin: 0;
  text-align: center;
}

div.subheader p {
  padding: 0.5em;
  margin: 0;
}

table#navigation {
  line-height: 1.5;
  padding: 0;
  margin: 1em auto;
}

table#navigation td {
  padding: 0.5em 0.75em;
}

table#navigation ul {
  padding-left: 0.5em;
  margin: 0;
}

table .title {
  font-weight: bold;
}

.footer {
  font-size: 0.8em;
  padding: 0.2em 0;
  margin: 0;
}

.footer p {
  padding: 0 18px;
  margin: 0.4em 0;
}

table.menu {
  margin: 0 0 1em;
}

/***********************************************************/
/*               OVERRIDES FOR PRINTING                    */
/***********************************************************/

@media print {
  /* Hide the sidebar and make the main contents take up the full width */
  div#main { position: static; overflow: visible; left: 0; }
  div#tocframe { display: none; }
  /* Also don't show the navigation toolbars between all sections */
  .nav_table { display: none; }
}

/***********************************************************/
/*               OTHER                                     */
/***********************************************************/

.warning {
  background: #eef;
  text-align: left;
  padding: 0;
  border: 1px solid #c8c8c8;
  border-radius: 5px;
  margin: 1em;
}

.advanced {
  background: #ffffc8;
  text-align: left;
  padding: 0;
  border: 1px solid #c8c8c8;
  border-radius: 5px;
  margin: 0.5em 0.5em 2em 3em;
}

/***********************************************************/
/*               RESPONSIVE DESIGN                         */
/***********************************************************/

@media only screen 
and (min-width: 992px)
and (max-width: 1199px) {
    body { font-size: 14pt; }
    div.content { width: 96ex; margin: 0 auto; }
}
@media only screen 
and (min-width: 768px)
and (max-width: 991px) {
    body { font-size: 14pt; }
    div.content { width: 96ex; margin: 0 auto; }
}
@media only screen 
and (min-width: 480px)
and (max-width: 767px) {
    body { font-size: 11pt; }
    div.content { width: 96ex; margin: 0 auto; }
}
@media only screen 
and (max-width: 479px) {
    body { font-size: 8pt; }
    div.content { width: 96ex; margin: 0 auto; }
}
@media only screen 
and (min-device-width : 375px) 
and (max-device-width : 667px) {
    body { font-size: 9.5pt; }
    div.content { width: 96ex; margin: 0; }
}
@media only screen 
and (min-device-width: 1200px) {
    body { font-size: 10pt; margin: 0 4em; }
    div.content { width: 96ex; margin: 0; }
}