body {
  color: black; background: lightgrey;
}

.menu {
  text-align: center;
}

.main {
  margin-left: 10%; margin-right: 10%;
}

img { border: 0 }

h1 { text-align: center }

/* a { text-decoration: none } */
a:hover { text-decoration: underline }
a:link { color: #25587e }
a:visited { color: red }

pre { font-family: monospace }