html, body {
  height: 100%;
  margin: 0;
  font-size: 16px;
}

#console,#console-container {
  height: 100%;
  width: 100%;
}

#dark-theme-toggle-container {
  position: absolute;
  z-index: 9999;
  top: .25em;
  right: 1.25em;
}
#dark-theme-toggle-container,
#dark-theme-toggle {
  width: 1.25em;
  height: 1.25em;
  cursor: pointer;
}
#dark-theme-toggle-container.base16-dark > #dark-theme-toggle {
  filter: invert(1);
}

.jsconsole .CodeMirror {
  line-height: 1.25em;
}
.CodeMirror-gutter-elt {
  top: 0.25em;
}