/*
  Style sheet for the navigation bar (version for printing)
*/

ul#navigation {
  display: none;
}