body {
  margin: 0;
}
.belownav {
  margin: auto;
  padding: 0.5em;
}
.navbar {
  width: 100%;
  border-style: none none solid none;
  border-width: thin;
  padding: 2px;
  float: left;
  list-style: none;
  margin-top: 0;
  margin-bottom: 0;
}
.navbar li {
  float: left;
}
.navbar li a {
  padding-left: 0.5em;
}
.navbar li.global-links {
  float: right;
  padding-right: 0.5em;
}
/* h1.title {
  margin-top: 0;
  margin-bottom: 0;
} */
.maintext {
  max-width: 50em;
  margin: auto;
  margin-top: 2em;
}

/* Not really layout */
table {
  border-width: 0.1em;
  border-style: solid;
  border-collapse: collapse;
}
th, td {
  border-width: 0.1em;
  border-padding: 0.5em;
  border-style: solid;
  background-color: #E7E7FF;
}