ul, ol {
  /* Matches the 30px from the narrow-screen "li > ul" selector below */
  margin: 5px 0 10px 30px;
  padding: 0;
}

a.download-zip {
  font-weight: bold;
  color: #000000;
  text-decoration: none;
}

div.sidebar,
aside.sidebar {
    margin: 0.5em 0.5em 0.5em 0.5em;
    border: 1px solid rgb(224, 224, 224);
    padding: 10px;
    background-color: rgb(240, 240, 240);
    width: 100%;
    float: none;
    clear: right;
    overflow-x: auto;
}

p.sidebar-title {
  margin-top: 5px;
  margin-bottom: 2px;
  font-weight: bold;
}

dl dd {
  margin-left: 5px;
}
dl {
  margin-bottom: 0;
}
blockquote {
  margin: 0 0 0 0
}
.highlight .w {
  color: #EEE;
  text-decoration: none;
}
div.mycodeblock.highlight-javascript.notranslate {
  max-height: 300px;
  overflow-y: scroll;
}
div.sphinxsidebar {
  background-color: #EEE;
}
div.documentwrapper {
  width: 100%;
}
div.document {
  display: flex;
  align-content: center;
}

#text div.sidebar,
aside.sidebar {
  font-style: italic;
}

ol.simple p {
  font-style: normal;
}

a.reference.internal {
  font-style: normal;
}

div.body li p {
  margin-bottom: 0.1em;
}

li::marker {
  font-weight: bold;
  font-style: normal;
}

html body div.document div.documentwrapper div.bodywrapper div.body section#choicescript-stats-modifier section#getting-started aside.sidebar ol.arabic.simple li dl.simple dt {
  font-style: normal;
}

html body div.document div.documentwrapper div.bodywrapper div.body section#choicescript-stats-modifier section#getting-started aside.sidebar ol.arabic.simple li {
  margin-bottom: 0.7em;
}

dd {
  margin-top: 0;
}

html body div.document div.documentwrapper div.bodywrapper div.body section#stat-chart div.my-container-class.docutils.container figure.align-left {
  margin-right: 20em;
}

/* Copy buttons */
button.copybtn {
  position: absolute;
  display: inline;
  top: .3em;
  right: .3em;
  width: 3em;
  height: 3em;
  opacity: 1;
  transition: opacity 0.3s, border .3s, background-color .3s;
  user-select: none;
  padding: 0;
  border: none;
  outline: none;
  border-radius: 0.4em;
  /* The colors that GitHub uses */
  border: #1b1f2426 1px solid;
  background-color: #f6f8fa;
  color: #57606a;
}

button.copybtn.success {
  border-color: #22863a;
  color: #22863a;
}

button.copybtn svg {
  stroke: currentColor;
  width: 3em;
  height: 3em;
  padding: 0.1em;
}

div.highlight  {
  position: relative;
}

/* Show the copybutton */
.highlight:hover button.copybtn, button.copybtn.success {
opacity: 1;
}

.highlight button.copybtn:hover {
  background-color: rgb(235, 235, 235);
}

.highlight button.copybtn:active {
  background-color: rgb(187, 187, 187);
}

/**
* A minimal CSS-only tooltip copied from:
*   https://codepen.io/mildrenben/pen/rVBrpK
*
* To use, write HTML like the following:
*
* <p class="o-tooltip--left" data-tooltip="Hey">Short</p>
*/
.o-tooltip--left {
position: relative;
}

.o-tooltip--left:after {
  opacity: 0;
  visibility: visible;
  position: absolute;
  content: attr(data-tooltip);
  padding: .2em;
  font-size: .8em;
  left: -.2em;
  background: grey;
  color: white;
  white-space: nowrap;
  z-index: 2;
  border-radius: 2px;
  transform: translateX(-102%) translateY(0);
  transition: opacity 0.2s cubic-bezier(0.64, 0.09, 0.08, 1), transform 0.2s cubic-bezier(0.64, 0.09, 0.08, 1);
}

.o-tooltip--left:hover:after {
  display: block;
  opacity: 1;
  visibility: visible;
  transform: translateX(-100%) translateY(0);
  transition: opacity 0.2s cubic-bezier(0.64, 0.09, 0.08, 1), transform 0.2s cubic-bezier(0.64, 0.09, 0.08, 1);
  transition-delay: .5s;
}

/* By default the copy button shouldn't show up when printing a page */
@media print {
  button.copybtn {
      display: none;
  }
}