body
  {
    font-size: 80%;
  }

#top_menu
  {
    position: relative;
    top: -1px;
    left: -1px;
  }
