body.web div.nav {
  margin-right: 2em;

  border-right-color: hsl(24, 6%, 70%);
  border-right-width: 2px;
  border-right-style: dashed;
}

body.web div.header div.title {
  height: 11.1vh;
}

body.web div.header-divider {
  height: 1px;
}

body.web div.main {
  width:  100vw;

  display:  flex;
  flex-direction: row;
}

body.web div.main > div.nav {
  flex: 23.6 14.6;
}

body.web div.main > div.content {
  flex: 76.4 85.4;
}

body.web img.screenshot {
  width: 38.2%;
}

body.web img.screenshot-large {
  width: 85.4%;
  margin-bottom: 0.618em;
}

body.web div.subsection-content {
  width: 61.8%;
}

body.web div.section-title-container {
  padding-left: 1em;
}