body {
  font-size: large;
  padding: 0;
}
@media screen and (max-width: 500px) {
  font-size: medium;
}

.header {
  background-color: #4477BB;
  padding-left: 20px;
  padding-bottom: 10px;
  padding-top: 10px;
  width: 100%;
}
.header h1 {
  text-align: left;
  margin-top: 0;
  font-family: "Sixtyfour", serif;
}
.header h2 {
  font-size: medium;
}
@media screen and (max-width: 500px) {
  .header h1 {
    margin-top: 10px;
    font-size: medium;
  }
  .header h2 {
    font-size: x-small;
    margin-right: 10px;
  }
}

.contentsWrapper {
  display: flex;
  justify-content: center;
  width: 100%;
}
.contents {
  padding: 0 2rem;
  max-width: 70%;
}
@media screen and (max-width: 500px) {
  .contents {
    max-width: 90%;
  }
}

p {
  margin-top: 12px;
  margin-bottom: 0;
}

@media screen and (max-width: 500px) {
  p {
    margin-top: 6px;
  }
}


ul {
  margin-top: 6px;
}

h1 {
  text-align: center;
  font-size: xxx-large;
}
h2 {
  font-size: xx-large;
}
h3 {
  font-size: x-large;
}
h1, h2, h3, h4 {
  margin-bottom: 0;
}
@media screen and (max-width: 500px) {
  h1 {
    font-size: x-large;
  }
  h2 {
    font-size: large;
  }
  h3 {
    font-size: medium;
  }
}

.codeView {
  max-width: unset;
  max-height: min(80vw, 600px);
  font-size: smaller;
  margin-top: 6px;
  position: relative;
}
.codeView_preWrapper {
  width: 100%;
}
.codeView_copyButton {
  visibility: hidden;
  position: absolute;
  right: 10px;
  top: 5px;
  background-color: #202020;
  padding: 3px 3px 5px 3px;
  border-radius: 7px;
}
.codeView:hover .codeView_copyButton {
  display: inline;
  visibility: visible;
  cursor: pointer;
}
.codeView_copiedText {
  display: none;
  visibility: hidden;
  position: fixed;
  left: 50vw;
  background-color: #3B3B3B;
  border-radius: 20px;
  top: 15vh;
  padding: 10px 50px;
}
.codeView_copiedText.codeView_fadeOut {
  display: inline;
  visibility: visible;
  animation: fadeOut 0.7s 0.5s forwards;
}
@keyframes fadeOut {
  from {
    opacity: 1;
  }
  to {
    opacity: 0;
    display: none;
  }
}
.fadeOut {
  animation-name: fadeOut;
}

div.codeView_linesWrapper {
  padding-left: unset;
}
.codeView_lineNumber {
  width: 100%;
  display: inline-block;
  padding-right: 7px;
}
.codeView_legend {
  margin-top: 14px;
  text-wrap: nowrap;
}
@media screen and (max-width: 500px) {
  .codeView_legendWrapper {
    overflow-x: auto;
  }
}

table {
  font-size: smaller;
}

table, th, td {
  border: 1px solid #464646;
  border-collapse: collapse;
}
th, td {
  padding: 0 25px 1px 10px;
}

span.inline {
  display: inline;
  background-color: #262626;
  font-family: monospace;
  white-space: pre;
  padding: 1px 2px;
  border-radius: 3px;
}

@media screen and (max-width: 500px) {
  span.inline {
    font-size: smaller;
  }
}

.timeline {
  max-width: 100vw;
  width: fit-content;
  overflow-x: auto;
}
.timeline svg {
  background-color: #262626;
  padding: 5px 10px 8px 15px;
}
.timeline text.timeline-title {
  font-size: 20pt;
  text-align: center;
  text-anchor: middle;
}
.timeline text.cycle-title {
  text-align: center;
  text-anchor: middle;
}
.timeline path {
  stroke: black;
  stroke-width: 0.25;
}
.timeline text {
  font-size: 8.5pt;
  fill: #D8D8D8;
  font-weight: bold;
}
.timeline text.label {
  text-anchor: start;
  alignment-baseline: middle;
}
.timeline .phase text {
  text-anchor: middle;
  alignment-baseline: middle;
}
.timeline .phase rect.invisible {
  fill: transparent;
}
.timeline .phase rect {
  border-left: 1px solid black;
  stroke: black;
  stroke-width: 0.25;
}
.timeline .phase rect.i, .timeline linearGradient stop.i {
  fill: blue;
  stop-color: blue;
}
.timeline .phase rect.i-d {
  /*fill: url(#i-d);*/
  fill: blue;
}
.timeline .phase rect.d, .timeline linearGradient stop.d {
  fill: green;
  stop-color: green;
}
.timeline .phase rect.d-e {
  /*fill: url(#d-e);*/
  fill: green;
}
.timeline .phase rect.e, .timeline linearGradient stop.e {
  fill: orange;
  stop-color: orange;
}
.timeline .phase rect.e-r {
  /*fill: url(#e-r);*/
  fill: orange;
}
.timeline .phase rect.r, .timeline linearGradient stop.r {
  fill: red;
  stop-color: red;
}
.timeline text.cycle {
  text-anchor: middle;
  alignment-baseline: middle;
}