body {
  /* color: #222; */
  color: #AAA;
  background-color: #222;
  font-family: sans-serif;
  line-height: 1.5;
  /* margin: 1rem; */
  max-width: 1000px;
  margin: 40px auto;
  /* max-width: 650px; */
  /* line-height: 1.6; */
  /* font-size: 18pt; */
  /* color: #444; */
  padding: 0 10px;

}

h1,
h2,
h3 {
  line-height: 1.2;
}

h1,
nav,
footer {
  text-align: center;
}

li.menu {
  display: inline;
  padding: 10px;
}

.highlight div,
.highlight pre {
  overflow-x: auto;
}

header {
  border-bottom: 1px solid #222;
  margin-bottom: 1rem;
}

footer {
  border-top: 1px solid #222;
  margin-top: 1rem;
}

a {
  /* color: #00e; */
  color: #AAA;
  /* text-decoration: none; */
}

.logo {
  display: block;
  margin-right: auto;
  margin-left: auto;
}