body {
  color: white;
  background-color: black;
  font-size: 24px;
  font-weight: bold;
  font-family: "Times New Roman";
}

.text {
  font-size: 32px;
  font-weight: bold;
  font-family: "Times New Roman";
}

.title {
  color: white;
  font-size: 48px;
  font-weight: bold;
  font-family: "Times New Roman";
}

pre {
  background: white;
  color: black;
  width: 1280px;
  height: auto;
  font-size: 27px;
  font-weight: bold;
  white-space: pre;
  font-family: "Consolas",
    "Courier New", monospace;
  border: solid 2px white;
  overflow: auto;
  padding: .2em .2em;
}

.symbol { color: #FF0040; }
.number { color: #4E00E7; }
.char { color: #AF1122; }
.string { color: #FF07BB; font-style: italic; }
.keyword { color: blue; font-style: italic; }
.comment { color: #67CBF5; font-style: italic; }

.image1 {
  border: solid white 1px;
}

.image2 {
  height: 512px;
  margin-top: 4px;
  border: solid white 1px;
}

table {
  width: 1700px;
  font-size: 22px;
  font-weight: bold;
  font-style: normal;
  color: white;
  background-color: black;
  border: solid #b9c 2px;
}

th, td {
  text-align: center;
  border: solid #b9c 1px;
}

.key {
  color: blue;
  background-color: white;
  font-family: "Consolas";
  font-style: italic;
}

/* embedded video player */

video {
  display: inline-block;
  width: 710px; height: 400px;
  border: solid 1px white;
}

.video_dialog_box {
  display: inline-block;
  z-index: 1;
  width: 712px;
  height: 444px;
  left: 260px;
  top: 6px;
  margin-top: 4px;
  margin-bottom: 4px;
  padding: 4px 4px 4px 4px;
  background-color: rgba(0, 0, 0, .25);
  color: #fff;
  border-radius: 3px;
  border: solid 1px white;
}

.video_dialog_title {
  display: block;
  width: 707px;
  height: 32px;
  padding-left: 4px;
  padding-top: 4px;
  margin-bottom: 4px;
  background-image: linear-gradient(black,
    #351575, black);
  box-shadow: 0 -2px 8px 0 blue;
  border: solid 1px #5f30b7;
}

.video_dialog_icon {
  float: left;
  width: 24px;
  height: 24px;
  margin-left: -2px;
  margin-top: -2px;
  border: solid 1px #5f30b7;
}

.video_dialog_title_text {
  margin-top: 0px;
  color: white;
  font-size: 26px;
  font-style: italic;
  text-shadow: 2px 2px 4px blue;
}