.wide { width: 100%; }
.half { 
  display: inline-block;
  width: 49%; 
}

.selector { display: flex; }
.selector > div:first-child { min-width: 150px; }

.selectorButton {
  display: inline-block;
  width: 30px;
  height: 30px;
  line-height: 30px;
  text-align: center;
  margin: 2px 4px;
  border: 1px solid#ccc;
  border-radius: 50%;
  cursor: pointer;
}

.selectorButton:hover { background-color: #d1f4ff; }

#figure svg {
  width: 100%;
  height: 700px;
  border: 0px solid rgb(255,255,255);
}

#figure .facade { fill: rgb(127,127,127); }
#figure .holes { fill: rgb(255,255,255); }

/* Fixing height because main tabs take two rows. */
@media screen and (min-width: 69em) {
  div.dof-main-box { height: 800px; }
  div.dof-inside-box { height: 715px; }
}