html {
  font-size: 100%;
  font-family:sans-serif;
  /* font-family:sans-serif; */
  /* font:1.2em/1.62 sans-serif; */
}

body {
  line-height: 1.6;
  max-width:40em;
  background-color: #ededed; 
  margin: auto;
}

.container {
   text-align: center;
}

.container pre {
  display: inline-block;
  text-align: left;
  line-height: 1.0;
}

#header {
  text-decoration: none;
  color: inherit;
  font-size:125%;
}

#navigation {
  font-family:monospace;
  font-size:125%;
}

h1 { font-size: 1.4rem; }
h2 { font-size: 1.2rem; }
h3 { font-size: 1.0rem;}

a:link, a:visited {
  color: #2626FF;
}

a:hover, a:focus {
  color: #4c4cFF;
}

li + li {
  margin-top:0.2em;
}

ul img {
  vertical-align:middle;
}