/* Default css file for jemdoc. */
/* Adapted from Ben Recht's webpage:https://people.eecs.berkeley.edu/~brecht/ */

:root {
	--base03-hic: #051721;
	--base02-hic: #08212e;
	--base00-hic: #688795;
	--base0-hic: #9cb2b5;
	--base1-hic: #b4c5c5;
	--base3-hic: #FFFFFF;
	--blue-hic: #0D8EE9;
	--orange-hic: #E03C00;

	--global-background: var(--base3-hic);
	--content-background: var(--base3-hic);
	--menu-background: var(--base03-hic);

	--content-text: var(--base02-hic);
	--menu-text: var(--base0-hic);

	--menu-current-link: var(--base1-hic);
	--links: var(--blue-hic);
	--heading: var(--orange-hic);

	--link-underline: var(--base00-hic);
  }

  table#tlayout {
	  border: none;
	  border-collapse: collapse;
	  background: var(--content-background);
  }

  body {
	  background: var(--global-background);
	  font-family: Verdana, Helvetica, Arial, sans-serif;
	  margin: 0;
	padding-top: 1em;
	padding-bottom: 14px;
	  font-size: 14px;
	  max-width: 600px;
	line-height:1.4;
	color: var(--content-text);
	padding:0 10px
  }

  #layout-menu {
	  background: var(--menu-background);
	  border: 0px solid #dddddd;
	  padding-top: 2.5em;
	  padding-left: 21px;
	  padding-right: 28px;
	  font-size: 1.3em;
	  width: auto;
	  white-space: nowrap;
	  text-align: left;
	  vertical-align: top;
  }

  #layout-menu td {
	  background: var(--menu-background);
	  vertical-align: top;
  }

  #layout-content {
	  padding-top: 2.0em;
	  padding-left: 1.25em;
	  padding-right: 1.0em;
	  border: none;
	  background: var(--content-background);
	  text-align: left;
	  vertical-align: top;
  }

  #layout-menu a {
	  line-height: 1.0em;
	  margin-left: 1.0em;
  }

  tt {
	  background: #C7D0D5;
  }

  pre, tt {
	  font-size: 100%;
	  font-family: courier;
  }

  a, a > tt {
	  color: var(--links);
	  text-decoration: none;
  }

  a:hover {
	  border-bottom: 1px var(--link-underline) dotted;
  }

  #layout-menu a.current:link, #layout-menu a.current:visited {
	  color: var(--menu-current-link);
	  border-bottom: 1px var(--link-underline) solid;
  }
  #layout-menu a:link, #layout-menu a:visited, #layout-menu a:hover {
	color: var(--menu-text);
	  text-decoration: none;
  }
  #layout-menu a:hover {
	  text-decoration: none;
  }

  div.menu-category {
	  margin-top: 0.0em;
	  padding-top: 0.0em;
	  padding-bottom: 0.1em;
	  font-size: 135%;
	  font-weight: plain;
	color: var(--menu-text);
  }

  div.menu-item {
	  padding-left: 16px;
	  text-indent: -16px;
	color: var(--menu-txt);
  }

  div#toptitle {
	  padding-bottom: 0.2em;
	  margin-bottom: 1.5em;
	  border-bottom: 3px double var(--link-underline);
  }

  /* Reduce space if we begin the page with a title. */
  div#toptitle + h2, div#toptitle + h3 {
	  margin-top: -0.7em;
  }

  div#subtitle {
	  margin-top: 0.0em;
	  margin-bottom: 0.0em;
	  padding-top: 0em;
	  padding-bottom: 0.1em;
  }

  em {
	  font-style: italic;
  }

  strong {
	  font-weight: bold;
  }

  h1, h2, h3 {
	  color: var(--heading);
	  line-height: 1.2;
	  border-bottom-width: 1px;
	border-bottom-style: solid;
	border-bottom-color: var(--link-underline);
	  font-weight: normal;
  }

  h1 {
	  font-size: 150%;
  }

  h2 {
	  padding-top: 0.8em;
	  font-size: 135%;
  }

  h2 + h3 {
	  padding-top: 0.2em;
  }

  h3 {
	  font-size: 110%;
	  border-bottom: none;
  }

  p {
	margin-left: 0.5em;
	  margin-top: 0.0em;
	  margin-bottom: 0.8em;
	  padding: 0;
	  line-height: 1.4;
	  width: 650px
  }

  pre {
	  padding: 0;
	  margin: 0;
  }

  div#footer {
	  font-size: small;
	  border-top: 1px solid #c0c0c0;
	  padding-top: 0.1em;
	  margin-top: 4.0em;
	  color: #c0c0c0;
	  position:absolute;
	  bottom:0;
  }

  div#footer a {
	  color: #80a0b0;
  }

  div#footer-text {
	  float: left;
	  padding-bottom: 8px;
  }

  ul, ol, dl {
	  margin-top: 0.2em;
	  padding-top: 0;
	  margin-bottom: 0.8em;
	color: var(--content-text);
  }

  dt {
	  margin-top: 0.5em;
	  margin-bottom: 0;
  }

  dl {
	  margin-left: 20px;
  }

  dd {
	  color: #222222;
  }

  dd > *:first-child {
	  margin-top: 0;
  }

  ul {
	  list-style-position: outside;
	  list-style-type: square;
  }

  p + ul, p + ol {
	  margin-top: -0.5em;
  }

  li ul, li ol {
	  margin-top: -0.3em;
  }

  ol {
	  list-style-position: outside;
	  list-style-type: decimal;
  }

  li p, dd p {
	  margin-bottom: 0.3em;
  }


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

  ol ol ol {
	  list-style-type: lower-roman;
  }

  p + div.codeblock {
	  margin-top: -0.6em;
  }

  div.codeblock, div.infoblock {
	  margin-right: 0%;
	  margin-top: 1.2em;
	  margin-bottom: 1.3em;
  }

  div.blocktitle {
	  font-weight: bold;
	  color: #cd7b62;
	  margin-top: 1.2em;
	  margin-bottom: 0.1em;
  }

  div.blockcontent {
	  border: 1px solid silver;
	  padding: 0.3em 0.5em;
	  width:fit-content;
	  width:-webkit-fit-content;
	  width:-moz-fit-content;
  }

  div.infoblock > div.blockcontent {
	  background: #ffffee;
  }

  div.blockcontent p + ul, div.blockcontent p + ol {
	  margin-top: 0.4em;
  }

  div.infoblock p {
	  margin-bottom: 0em;
  }

  div.infoblock li p, div.infoblock dd p {
	  margin-bottom: 0.5em;
  }

  div.infoblock p + p {
	  margin-top: 0.8em;
  }

  div.codeblock > div.blockcontent {
	  background: #e2ecf2;
  }

  span.pycommand {
	  color: #000070;
  }

  span.statement {
	  color: #008800;
  }
  span.builtin {
	  color: #000088;
  }
  span.special {
	  color: #990000;
  }
  span.operator {
	  color: #880000;
  }
  span.error {
	  color: #aa0000;
  }
  span.comment, span.comment > *, span.string, span.string > * {
	  color: #606060;
  }

  @media print {
	  #layout-menu { display: none; }
  }

  #fwtitle {
	  margin: 2px;
  }

  #fwtitle #toptitle {
	  padding-left: 0.5em;
	  margin-bottom: 0.5em;
  }

  #layout-content h1:first-child, #layout-content h2:first-child, #layout-content h3:first-child {
	  margin-top: -0.7em;
  }

  div#toptitle h1, #layout-content div#toptitle h1 {
	  margin-bottom: 0.0em;
	  padding-bottom: 0.1em;
	  padding-top: 0;
	  margin-top: 0.5em;
	  border-bottom: none;
  }

  img.eq {
	  padding: 0;
	  padding-left: 0.1em;
	  padding-right: 0.1em;
	  margin: 0;
  }

  img.eqwl {
	  padding-left: 2em;
	  padding-top: 0.6em;
	  padding-bottom: 0.2em;
	  margin: 0;
  }

  table {
	  border: 2px solid black;
	  border-collapse: collapse;
	  height:100%;
	  position: absolute;
	  top: 0;
	  left: 0;
  }

  td {
	  padding: 2px;
	  padding-left: 0.5em;
	  padding-right: 0.5em;
	  text-align: center;
	  border: 1px solid gray;
  }

  table + table {
	  margin-top: 1em;
  }

  tr.heading {
	  font-weight: bold;
	  border-bottom: 2px solid black;
  }

  img {
	  border: none;
  }

  table.imgtable, table.imgtable td {
	  border: none;
	  text-align: left;
	  position: absolute
  }