body {
  color: #000000;
  background-color: #FFFFFF;
}

h1 {
  font-size:160%;
}

p {
}

em {
  font-weight: bold;
  font-style: normal;
  text-decoration: underline;
}


.shortcuts {
  font-size: 60%;
}


div.main h2 {
  font-size:100%;
  font-weight:bold;
  color:#0000AA;
  margin: 1em 0 0 0em;
}

div.main p {
  margin: 0.5em 0 0.5em 2em;
}

div.main ul {
  margin: 0.5em 0 0.5em 2em;
}


div.header span {
  color: #FFFFFF;
  background-color:#0000AA;
}