@charset "UTF-8";

@font-face {
  font-family: 'diavloblack';
  src: url('css/diavlo_black_ii_37-webfont.woff2') format('woff2'),
      url('css/diavlo_black_ii_37-webfont.woff') format('woff');
  font-weight: normal;
  font-style: normal;
}

html {
  box-sizing: border-box;
}

*, *:before, *:after {
  box-sizing: inherit;
}

body {
  max-width: 1060px;
  background-color: #f0f0f0;
  background-image: linear-gradient(white, white 70px, #f0f0f0 80px, #f0f0f0);
  background-repeat: no-repeat;
  background-size: 100% 90px;
  color: #111;
  font-family: "Gill Sans", Arial, Helvetica, sans-serif;
  margin: 0;
}

p, li, dt, dd, blockquote {
  font-size: 90%;
}

dd {
  margin-bottom: 1ex;
}

a {
  color: #4040f0;
  text-decoration: none;
}

a:hover {
  color: #f06060;
  text-decoration: underline;
}

a:active {
  color: #336;
}

img {
  border: 0;
}

h1, h2, h3, h4, #navtitle {
  font-family: "diavloblack", "Gill Sans", "Arial Black", Helvetica, sans-serif;
  font-weight: normal;
  color: #336;
  padding: 0;
}

h1 {
  margin: 0 0 0.5em 0;
}

h2 {
  margin: 1.5em 0 0.5em 0;
}

h3 {
  margin: 0.75em 0 0.25em 0;
}

h4 {
  margin: 1em 0 -0.25em 0;
}

#logo {
  text-align: center;
  margin: 0 0 26px 0;
}

#logo img {
  width: 100%;
  max-width: 321px;
  height: auto;
}

#sitesearch {
  max-width: 262px;
  width: 100%;
  position: absolute;
  top: 24px;
  left: 10px;
  text-align: right;
}

#navigation {
  width: 160px;
  position: fixed;
  left: 0;
  top: 90px;
  z-index: 1000;
  cursor: pointer;
  padding: 0;
  overflow-y: hidden;
  background: #aaa url(images/grip.png) no-repeat 140px 10px;
  transition: transform 0.3s linear;
}

#navigation.min {
  background-position: 120px 10px;
}

#navigation:hover {
  background-color: #779;
}

#navcontents {
  width: 140px;
  max-height: 80vh;
  cursor: auto;
  background-color: #fff;
  padding: 0 0 1px 0;
  margin: 1px 0;
  overflow-y: auto;
}

#menu {
  font-size: 90%;
  margin: 2px 0 0 2px;
  padding: 1px 0px 10px 1px;
  float: left;
}

#menu > div {
  padding: 2px 0;
}

#menu a {
  display: block;
  width: 100%;
}

.surround {
  display: none;
  padding: 2px 0 5px 0px;
  font-size: 90%;
}

.surround a {
  padding: 2px 1px 2px 10px;
}

.active > a {
  border: 1px solid #aaa;
  background-color: #f0f0f0;
}

.popup:hover .surround, .open {
  display: block;
}

#under-menu {
  width: 100px;
  float: left;
  margin: 10px;
  text-align: center;
}

#content {
  width: auto;
  max-width: 700px;
  float: left;
  margin: 0 10px 20px 160px;
  padding: 0 10px 10px 10px;
}

div.centred canvas {
  border-radius: 20px;
  background-color: #f0f0f0;
}

div.centred canvas {
  background-color: #fff;
}

.centred {
  margin: auto;
  overflow: auto;
}

.subnav {
  margin-top: -1em;
}

.subnav li {
  display: inline;
  white-space: nowrap;
  font-size: 80%;
}

.subnav li:before {
  content: '\2022  ';
}

#copyright {
  clear: both;
  text-align: center;
  font-size: 70%;
  margin-bottom: 30px;
}

.date {
  float: right;
  font-size: 70%;
}

.links {
  text-align: right;
}

.links a:hover, .links a:active {
  border: 0;
}

#content table {
  border-collapse: collapse;
}

#content th, #content td {
  border: 1px solid #999;
  padding: 3px 20px 7px 3px;
  vertical-align: top;
}

#content th {
  background-color: #fff;
  color: #333;
}

#content tr:nth-child(odd) {
  background-color: #ddd;
}

#notescol {
  width: 30%;
}

code, pre, kbd {
  font-family: 'Andale Mono', Consolas, monospace;
  font-size: 11px;
  color: #063;
  white-space: pre
}

code.keyword {
  color: #906;
}

pre {
  border: 1px solid #999;
  margin: 5px 20px;
  padding: 10px;
  background-color: #fff;
}

pre.cli {
  border: 3px ridge #09f;
  color: #3f3;
  padding: 5px;
  background-color: #000;
}

em {
  color: #116;
}

img.icon {
  padding: 1px 5px;
  background-color: #fff;
}

dt {
  font-family: 'diavloblack';
}

a[target=_blank]:after {
  content: url(images/newwnd.png);
}

#rss {
  float: right;
}

div.item p:last-child {
  border-bottom: 3px dotted #ccc;
  padding-bottom: 0.3em;
  margin-bottom: 2em;
}

div.figure {
  width: 100%;
  max-width: 340px;
  float: left;
  padding: 2px;
  margin-bottom: 10px;
  text-align: center;
}

div.thinfigure {
  width: 100%;
  max-width: 220px;
  float: left;
  padding: 2px;
  margin-bottom: 10px;
  text-align: center;
}

svg {
  display: block
}

div.widefigure {
  padding: 2px;
  text-align: center;
}

div.bordered, embed.bordered {
  outline: 1px solid #000;
}

div.responsive190, embed.responsive190 {
  width: 100%;
  max-width: 190px;
  display: inline-block;
}

div.responsive300, embed.responsive300 {
  width: 100%;
  max-width: 300px;
  display: inline-block;
}

div.responsive600, embed.responsive600 {
  width: 100%;
  max-width: 600px;
  display: inline-block;
}

div.responsive670, embed.responsive670 {
  width: 100%;
  max-width: 670px;
  display: inline-block;
}

div.table {
  padding: 0 20px 20px 20px;
}

span.caption {
  display: block;
  text-align: center;
  font-size: 80%;
  font-weight: bold;
  margin-top: 0.3em;
}

span.caption code {
  font-weight: normal;
}

div.table table {
  width: 100%;
  font-size: 90%;
}

div.table fieldset {
  border: 1px solid #999;
  margin: 0;
  padding: 10px;
  font-size: 90%;
}

div.table fieldset span {
  margin: 10px;
}

.next {
  float: right;
}

table.options tr:hover {
  background-color: #ccf;
}

table.options dl {
  margin: 0.5em 0 0 0;
}

table.options dd {
  margin: 0 0 0 1em;
}

sup, sup a {
  font-weight: bold;
  color: #444;
  margin-right: 3px;
}

ul.footnotes {
  list-style-type: none;
  font-size: 80%;
}

ul.options {
  list-style-type: none;
  padding: 0;
  font-size: 90%;
}

ul.options li {
  display: inline-block;
  width: 100%;
  max-width: 160px;
  margin-right: 0px;
}

/* for ShareThis */
div.stwrapper {
  position: fixed;
}

.imagemap li {
  display: block;
  position: absolute;
  padding: 0;
  margin: 0;
}

.imagemap a {
  display: block;
  width: 100%;
  height: 100%;
}

.imagemap span {
  display: none;
}

.imagemap a:hover {
  background-color: rgba(255,255,64,0.4);
}

.table h2 {
  margin: 0.5ex 0;
}

.clickHeader {
  border: 2px outset;
  border-radius: 10px;
  display: inline-block;
  float: right;
  cursor: pointer;
  font-family: 'Andale Mono', Consolas, monospace;
  font-size: 12px;
  font-weight: bold;
  background-color: #202090;
  color: #f0f0f0;
  padding: 4px 10px;
  margin: 0.5ex;
}

.clickHeader:hover {
  background-color: #006;
}

.clickHeader:active {
  border: 2px inset;
  color: #99c;
}

@media only screen and (max-width: 880px) {
  /* don't put search over logo */
  #sitesearch {
    position: static;
    max-width: none;
    width: auto;
    margin: 4px 24px;
  }
}

@media only screen and (max-width: 730px) {
  /* centre figures that would have been side-by-side */
  div.figure {
    max-width: none;
  }
  code, pre {
    white-space: pre-wrap;
  }
  pre {
    margin: auto;
  }
  div.table {
    padding: 0;
  }
  #content th, #content td {
    padding: 2px;
  }
}

@media only screen and (max-width: 600px) {
  #logo {
    margin: 0 0 2px 0;
  }
  #navigation {
    top: 0;
  }
  #navcontents {
    max-height: 99vh;
  }
  #menu * {
    font-size: 100%;
  }
  .surround {
    font-size: 100%;
  }
  #menu div {
    padding: 2px;
  }
  .subnav {
    padding-left: 15px;
  }
  .subnav li {
    font-size: 90%;
    white-space: normal;
    display: block;
  }
  div.figure {
    max-width: 600px;
  }

  #content {
    padding-right: 0;
    margin-right: 2px;
  }
 
  /* reflow options tables */
  #content table.options,
  #content table.options thead,
  #content table.options tbody,
  #content table.options th,
  #content table.options tr,
  #content table.options td {
    display: block;
  }

  #content table.options {
    clear: both;
  }

  #content table.options thead tr {
    position: absolute;
    top: -9999px;
    left: -9999px;
  }

  #content table.options tr {
    border: 1px solid #999;
    margin-bottom: 2px;
  }

  #content table.options td {
    border: none;
    border-bottom: 1px solid #999;
    position: relative;
    padding-left: 40%;
    white-space: normal;
    text-align: left;
  }

  #content table.options td:before {
    position: absolute;
    top: 3px;
    left: 4px;
    width: 30%;
    padding-right: 10px;
    white-space: nowrap;
    text-align: left;
    font-weight: bold;
  }

  #content table.options td:before {
    content: attr(data-title);
  }
}