@charset "utf-8";
body {
  background-color: #120018;
  color: #eee;
  padding: 0px;
  margin: 0px;
  height: 100%;
  width: 100%;
  overflow: hidden;
  user-select: none;
}
html {
  padding: 0px;
  height: 100%;
  width: 100%;
  overflow: hidden;
}
a {
  text-decoration: none;
}
p a {
  text-decoration: underline;
  color: #92779b;
}
p a:hover {
  color: #a477b3;
}
.hidden {
  display: none;
}
.pane {
  margin: 0px;
  overflow: auto;
  padding: 8px;
  width: 100%;
  height: 100%;
  box-sizing: border-box;
  word-wrap: break-word;
  position: relative;
}
.pane > .pane {
  width: calc(100% + 16px);
  height: initial;
  margin: -8px;
}
#panes {
  height: calc(98% - 15px);
  width: 100%;
  box-sizing: border-box;
}
.horizontal > .pane {
  height: 100%;
  float: left;
}
.plot {
  width: 100%;
  height: 100%;
  border: 1px solid #333;
  margin: -1px;
  overflow: none;
}
#plot-mouseover {
  position: absolute;
  background-color: rgba(0,0,0,0.5);
  color: #eee;
  pointer-events: none;
  font-family: Monospace;
}
#plot-zoom-element {
  position: absolute;
  background-color: rgba(0,3,10,0.75);
  pointer-events: none;
  border: 1px solid #012;
}
.hljs {
  background-color: #120018;
}