/* Colors
   #FF87C1
   #FFFFFF
   #000000
   #87A3FF
   #FF0000
*/

body {
  background-color: #87A3FF;
  color: #000000;
  font-family: sans-serif;
  font-size: 14pt;
  padding: 0.5em;
  margin: 0;
}

a {
  color: #0000CC;
  text-decoration: none;
}
a:visited {
  color: #0000CC;
}
a:hover {
  color: #000099;
  text-decoration: underline;
}

#content {
  background-color: #FFFFFF;
  border: 0.25em solid #000000;
  padding: 1em;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

#header {
  background-color: #FF87C1;
  border: 0.25em solid #FF0000;
  padding: 0.25em;
}

#header h1 {
  margin: 0;
}

#header a {
  color: #000000;
}

#footer {
  background-color: #FF87C1;
  border: 0.25em solid #FF0000;
  padding: 0.25em;
}

#footer ul {
  list-style-type: none;
  padding: 0;
  margin: 0;
}

#footer ul li {
  display: inline;
}

#footer ul li:before {
  content: " » ";
}

.code pre {
  padding: 0.5em;
}

p.warning {
  font-style: italic;
  font-size: 80%;
}