body {
  margin: 0;
  color: black;
  background-color: #7fb88f;
  font-family: Arial, sans-serif;
  font-size: 14pt;
}

a, a:active, a:visited {
  color: #276b40;
}

div {
  margin-top: 60px;
}

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

.highlight {
  padding: 2px;
  border-radius: 6px;
  background-color: #91d6a4;
}

/* navigation bar */

#navbar {
  width: 100%;
  display: flex;
  flex-direction: row;
  margin: 0;
  padding: 0;
  background-color: #c5ecce;
}

#navbar ul {
  display: flex;
  flex-direction: row;
  overflow-x: scroll;
  list-style-type: none;
  scrollbar-color: #7fb88f #c5ecce;
  margin: 0;
  padding: 0;
}

#navbar li {
  float: left;
  vertical-align: text-bottom;
}

#navbar li a {
  display: block;
  white-space: nowrap;
  margin-bottom: 1px;
  padding: 6px 12px 8px 12px;
  border-radius: 0 0 4px 4px;
  text-align: center;
  text-decoration: none;
  color: black;
}

#navbar li a:hover {
  background-color: #91d6a4;
}

#navbar .here {
  background-color: #276b40;
  color: white;
}

#navbar .title {
  display: inline-block;
  white-space: nowrap;
  vertical-align: text-bottom;
  margin: 0 30px 0 30px;
  padding: 7px 0 8px 0;
  font-size: 18pt;
  font-weight: bold;
}

/* content div */

#wrapper {
  margin-left: 120px;
  margin-right: 120px;
  margin-bottom: 60px;
}

#wrapper > div:not(#thicket, #clade-walk) {
  padding: 15px;
  border-radius: 15px;
  background-color: #c5ecce;
}

#wrapper > div p:first-child {
  margin-top: 0;
}

#thicket {
  overflow-x: auto;
  border-top: 1px solid #276b40;
  border-left: 1px solid transparent;
  border-right: 1px solid transparent;
  background-color: inherit;
}

#clade-walk {
  display: grid;
  justify-items: center;
  grid-template-rows: repeat(3, 1fr);
  grid-template-columns: repeat(3, 1fr);
  grid-row-gap: 20px;
  grid-column-gap: 30px;
  padding-left: 15px;
  padding-right: 15px;
  overflow-x: auto;
  background-color: inherit;
}

#clade-walk > div {
  margin: 0;
  white-space: nowrap;
}

#clade-walk > .caption {
  padding: 15px;
  border-radius: 15px;
  background-color: #c5ecce;
}

/* controls */

.slider-box {
  margin: 0;
  display: flex;
  align-items: center;
}

.slider-box > input {
  margin-right: 15px;
}

.slider-box > label {
  margin-right: 6px;
}