.style_highlight1 {
  text-decoration: underline;
  background-color: gainsboro;
}
.style_highlight2 {
  font-weight: bold;
}
.style_highlight3 {
  text-decoration: underline;
  font-weight: bold;
}
html {
  overflow-x: scroll;
  overflow-y: scroll;
}
button {
  margin: 3px;
}
#markup_highlight td {
  font-family: 'Courier New', Courier, monospace;
  font-size: 4vh;
  text-align: center;
}

table {
  margin-left: auto;
  margin-right: auto;
}
#table_subtitle {
  font-family: 'Times New Roman', Times, serif;
  text-align: center;
  height: 20%;
}
#subtitle_content {
  font-size: 2.4vw;
  list-style-position: inside;
  display: inline;
  text-align: justify;
  padding: inherit;
}
#subtitle_content li {
  display: inline;
}

#diagram {
  background-color: black;
  border-radius: 5px;
}

#diagram tr td {
  background-color: white;
  border-radius: 5px;
  vertical-align: top;
  empty-cells: hide;
}

#markup_highlight span {
  border-radius: 5px;
}

#diagram .darr {
  font-size: 1.5vw;
  background-color: black;
  color: white;
  border: none;
}