/*
 * Altered style used for printed media.
 */

body {
  background: white;
  font-size: 12pt;
}

/*
 * Navigation
 */
table.navbar, div.navbar {
  display: none;
}