HTML {
  margin: 0px;
  padding: 0px;
}
BODY {
  font-family: Tahoma, Verdana, Arial;
  font-size: 100%;
  background-color: #0147F3;
  color: #bbccdd;
  padding: 0px;
  padding-left: 80px;
}
H1 {
  font-size: 48pt;
}
H2 {
  font-size: 24pt;
}
H3 {
  font-size: 16pt;
}
H4 {
  font-weight: bold;
}
CODE {
  background-color: #eeeeee;
  width:90%;
}

.banner {
  color: #112233;
  float: right;
  position: fixed;
  top: 8px;
  left: 0px;
  margin-top: 0px;
  writing-mode: tb-rl;
  z-index: -20;
}