body {
  background-color: #fbf5ef;
  font-family: monospace;
  color: #272744;
}

body p {
  font-size: 14px;
}

.block {
  margin-top: .5em;
  margin-bottom: .5em;
  margin-left: 2em;
  margin-right: 2em;
  padding: 1px;
  padding-left: 2em;
  border-left-style: solid;
}

#abstract {
  background-color: #494d7e;
  border-color: #272744;
  color: #fbf5ef;
}

nav {
  border-bottom-style: solid;
  border-width: 2px;
  background-color: #272744;
  color: #fbf5ef;
}

nav ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  overflow: hidden;
}

nav ul li {
  float: left;
}

nav ul li#login {
  float: right;
  margin-right: .67em;
}

nav ul li h1 {
  margin-left: .67em;
  margin-right: 1.34em;
}

nav ul li a {
  margin: .67em;
  display: inline-block;
  font-size: 22px;
  text-align: center;
  text-decoration: none;
  color: #fbf5ef;
}