.menu {
  font-weight: bold;
  font-size: 12pt;
}

.menu ul {
  /* 6px should equal top padding of "ul li a" below,
   * 7px should equal bottom padding + bottom border of "ul li a" below.
   */
  padding: 6px 0 7px 0;
  text-align: center;
  margin: 0px auto;
}

.menu ul li {
  display: inline;
}

.menu ul li a {
  color: #882210;

  /* Top padding is 6px, bottom padding is 4px.
   */
  padding: 6px 3px 4px 3px;

  /* Spacing between each menu link.
   */
  margin-right: 20px;
  text-decoration: none;

  /* Bottom border is 3px.
   */
  border-bottom: 3px solid #f57548;
}

.menu ul li a:hover, .menu ul li a.selected {
  border-bottom-color: black;
}