.style_highlight1 {
  text-decoration: underline;
  background-color: gainsboro;
  color: black;
}
.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: 3vw;
  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_style {
  background-color: black;
  border-radius: 5px;
}

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

#diagram_id tr td {
  text-align: center;
  vertical-align: middle;
  padding-left: 0.5em;
  padding-right: 0.5em;
}

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

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

.gray_text {
  color: darkgray;
}
.bold_text {
  font-weight: bold;
}