.top-level-container {
  padding-left: 80px;
  padding-right: 120px;
}

#nav {
  font-family: 'Palatino';
  padding-top: 20px;
  padding-bottom: 40px;
}

#nav-title {
  font-size: 30px;
}

#nav-title a {
  text-decoration: none;
  color: black;
}

#nav-links {
  font-size: 20px;
  margin-top: 15px;
  margin-bottom: 15px;
  margin-right: 15px;
}

#footer {
  margin-top: 80px;
  margin-bottom: 20px;
}

div.content {
  font-size: 18px;
  font-family: 'Palladio';

  padding-top: 40px;
  padding-bottom: 120px;
}

.nav-tab {
  margin-left: 20px;
  margin-right: 20px;
  margin-top: 10px;
  margin-bottom: 10px;
  cursor: pointer;
}

.tab-selected {
  text-decoration: underline;
}

.text {
  min-width: 400px;
  max-width: 700px;
}

.footnote {
  font-size: 14px;
}