body {
  font-size: 10pt;
}

h1 {
  font-size: 14pt;
}

h2 {
  font-size: 12pt;
}

h3 {
  font-size: 11pt;
  padding: 4px 8px 2px 8px;
  margin: 3px 0 3px 0;
}

.centered {
  width: 90%;
}

#col_r {
  width: 100%;
}

#header,
#topnav,
#nav_bar,
#col_l,
.debug,
.bullet_top,
#header_img,
#footer {
  display: none;
}