#options {
  margin: 40px 0 0 0;
  width: 100%;
  text-align: center;
}
.option {
  width: 14%;
  display: inline-block;
  margin-left: 1.5%;
  vertical-align: top;
  margin-bottom: 25px;
}
.option:first-of-type {
  margin-left: 0;
}
@media only screen and (max-width: 800px) {
  .option {
    width: 28%;
  }
}

.option img {
  border: 5px solid #000;
  border-radius: 50%;
}
.option .option-text {
  margin-top: 10px;
  width: 100%;
  text-align: center;
  text-decoration: none !important;
  color: #000;
  font-size: 1.2em;
}
.option a {
  display: block;
  /*     background-color: #f00; */
}
.option a,
.option a:link,
.option a:visited,
.option a:active {
  text-decoration: none;
}
.option a:hover img {
  border-color: var(--td-hover-a);
}

h1 a,
h1 a:link,
h1 a:visited,
h1 a:active {
  color: #000;
}

#center-block {
  width: 100%;
}
#center-block #overview-poster-div {
  display: inline-block;
  width: 50%;
}
#center-block #center-text {
  display: inline-block;
  width: 45%;
  margin: 0;
  margin-left: 4%;
  vertical-align: top;
}

#center-block #center-text p {
  margin-bottom: 50px;
}

.problem-line-number {
  padding: 20px 50px;
}
