body {
  color: #444;
  background: #f0f0f0;
  padding: 0;

  line-height: 1.5;
  font-family: sans-serif;

  margin: 5ex 10ex;
  max-width: 80ex;
}

#manual img {
  width: 100%;
  max-width: 800px;
}


h1, h2, h3, h4 {
  font-weight: normal;
  margin-bottom: 0;
}

h1, h2, h3, h4, p, table {
  margin-left: 8px;
  margin-right: 8px;
}

table {
  border-collapse: collapse;
  margin-top: 8px;
}
td, th {
  font-weight: normal;
  text-align: center;
  border: 1px dotted #bbb;
  padding: 4px;
}

svg {
  margin: 0px;
  width: 100%;
  height: 300px;
}

a {
  color: #106ad5;
}

pre a {
  color: #001631;
}

h2 a, h3 a {
  display: none;
  color: #3bace5;
  text-decoration: none;
}

h2:hover a,
h3:hover a  {
  display: inline;
}

pre {
  /* background: rgba(36, 126, 233, 0.03); */
  color: #161616;
  background: rgba(36, 126, 233, 0.1);
  padding: 15px;
  white-space: pre-wrap;
  word-break: break-all;
  overflow-x: auto;
}

header {
  display: flex;
  align-items: center;
  margin: 16px 4px;
}

header > * {
  margin: 8px;
}

header h1 {
  margin: 8px 0;
}


@media only screen and (max-device-width: 480px) {
  body {
    margin: 0;
  }
}

code {
  background: rgba(36, 126, 233, 0.1);
  padding: 2px 5px;
  color: #333;
}

.hljs {
  background: transparent;
}

#spinner-overlay {
  display: none;
  position: fixed;
  top: 0px;
  bottom: 0px;
  left: 0px;
  right: 0px;
  background: rgba(0, 0, 0, 0.3);
}

@keyframes spinner {
  to {transform: rotate(360deg);}
}

.spinner:before {
  content: '';
  box-sizing: border-box;
  position: absolute;
  top: 50%;
  left: 50%;
  width: 60px;
  height: 60px;
  margin-top: -30px;
  margin-left: -30px;
  border-radius: 50%;
  border: 2px solid #ccc;
  border-top-color: #000;
  animation: spinner .6s linear infinite;
}