body {
  color: #003366; background: #ccccff;
  font-family: sans-serif;
}

h1 {
  font-size:200%;
  text-align: center;
  margin-top: 1em;
}

h2 {
  font-family: serif;
  margin-left: 2%;   
}               

div.menu {
  font-size: 80%;
  border: groove;
  border-width: thin;
  color: black; background: #ffffcc;
  padding: 0.5em;
  position: absolute;
  top: 2%;
  width: 10%;
}

div.main {
  font-family: sans-serif;
  margin-left: 15%; margin-right: 5%;
}

div.bottom {
  text-align: center;
  font-family: serif;
  font-size: 80%;
  border: groove;
  border-width: thin;
  position: relative;
  bottom: 2%;
  width: 96%;
  color: black; background: #ffffcc;
}

p.date {
  font-family: serif;
}

p.news {
  font-family: sans-serif;
  margin-left: 5%;
  margin-bottom: 2em;
}

pre.code {
  margin-left: 5%; margin-right: 5%;
  border: groove;
  border-width: thin;
  color: black; background: #ccffff;
  overflow: scroll;
}