html { height: 100%; }

body {
  background: rgb(40, 40, 40);
  height: 100%;
}

nav.toc {
  padding-top: 0;
  background: rgb(40, 40, 40);
  box-shadow: inset -14px 0px 5px -12px rgb(0,0,0);
  line-height: 2em;
  cursor: default;
  user-select: none;
}

/* Green banner in ToC */
nav.toc > h1 {
  margin-top: 0;
  padding-top: 1em;
  padding-bottom: 0.5em;
  background: rgb(0, 100, 0);
  border-bottom: 5px solid white;
  color: white;
  box-shadow: inset -14px 0px 5px -12px rgb(60,60,60);
  letter-spacing: 0.05em;
}

#version-selector, #search-query {
  color: white;
  background: rgb(20, 20, 20);
  border: 1px solid black;
}

/* Reduce ToC font size */
.toctext {
  font-size: 10pt;
}

/* Fade out non-clickable ToC headers */
nav.toc > ul > li > span.toctext {
  color: rgb(100, 100, 100);
}

.current {
  box-shadow: 0 2px 5px -12px rgb(0,0,0);
}

nav.toc li.current > .toctext {
  background: linear-gradient(90deg, rgb(240,240,240) 0%, white 90%);;
}

nav.toc ul.internal {
  color: rgb(80, 80, 80);
}

/* Content */

a {
  color: rgb(0, 150, 0);
}

a:visited {
  color: rgb(0, 100, 0);
}

article {
  background: white;
  line-height: 2em;
  min-height: 100%;
  padding-bottom: 33%;
}

/* Code */

p > code {
  background: rgb(230, 240, 230);
  padding: 2px;
  color: rgb(35, 48, 35);
  border: 1px solid rgb(220, 230, 220);
}

pre {
  background: rgb(35, 48, 35);
  border: 1px solid black;
  border-radius: 10px;
  box-shadow: inset -4px 4px 15px 3px rgb(30, 30, 30);
  line-height: 1.5em;
}

.hljs {
  display: block;
  overflow-x: auto;
  color: rgb(209, 209, 209);
  /*background: #282c34;*/
  padding: .5em;
}

.hljs-comment, .hljs-quote {
  color: rgb(55, 121, 84);
  font-style: italic;
}

.hljs-doctag, .hljs-keyword, .hljs-formula {
  color: #c678dd;
}

.hljs-section, .hljs-name, .hljs-selector-tag, .hljs-deletion, .hljs-subst {
  color: #e06c75;
}

.hljs-literal {
  color: #56b6c2;
}

.hljs-string, .hljs-regexp, .hljs-addition, .hljs-attribute, .hljs-meta-string {
  color: #98c379;
}

.hljs-built_in, .hljs-class .hljs-title {
  color: #e6c07b;
}

.hljs-attr, .hljs-variable, .hljs-template-variable, .hljs-type, .hljs-selector-class, .hljs-selector-attr, .hljs-selector-pseudo, .hljs-number {
  color: #d19a66;
}

.hljs-symbol, .hljs-bullet, .hljs-link, .hljs-meta, .hljs-selector-id, .hljs-title {
  color: #61aeee;
}

.hljs-emphasis {
  font-style: italic;
}

.hljs-strong {
  font-weight: 700;
}

.hljs-link {
  text-decoration: underline;
}