/* style and size the navigation bar */
div.navigation
{
  position: fixed;
  /* tango:scarlet red 0/1 */
  background: #ffe6e6;
  border: solid 1px #ef2929;
  margin-top: 0;
  margin-bottom: 0;
  top: 0;
  left: 0;
  height: 3em;
  width: 100%;
  z-index:10;
}

/* make space for the fixed navigation bar and add space at the bottom so that
 * link targets appear somewhat close to top
 */
div.wrapper 
{
  padding-top: 3.2em;
  padding-bottom: 20em;
}

/* this is needed so that the local anchors are displayed below the naviagtion */
a[name]
{
  display:inline-block;
  position:relative;
  top:-3.5em;
}

