div.navigator {
  text-align : right;
  margin-right : 5%;
}

span.control {
  font-size : 100%;
}

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

pre {
  color : #000000;
  background-color : #DDDDDD;
  margin : 1em;
  border-width : 1;
  border-color : #000000;
  border-style : solid;
  padding : 1em;
}

h1 {
  text-align : right;
  margin-left : 10%;
  margin-right : 10%;
  font-size : 200%;
}

h2 {
  color : #FFFFFF;
  background-color : #CC3333;
  font-size : 160%;
}

sup.outside {
}