/* -------------------------------------------------------------------------- */
/* #topnavigation Formatting */
/* -------------------------------------------------------------------------- */

/* Keep the top navigation on the top of the page and make sure it displays
above other things that may overlap with it on the screen. */
#topnav
{
  background-color: var(--color-background);
  position:sticky;
  top: 0;
}

#topnav > nav
{
  margin-bottom: -1px;
  z-index: 10;
  display:flow-root;
}

#topnav a
{
  text-decoration: none;
}

#topnav .toptab
{
  float: left;
  font-family: redressed;
  font-style: italic;
  font-size: 1.2rem;
}

#topnav .toptab:hover
{
  border-color: var(--color-border);
}

#topnav .toptab.current, #topnav .toptab.section
{
  background: var(--color-border);
}

#topnav .toptab > li
{
  margin: .5rem;
}

#topnav .toptab:first-of-type
{
  margin-left: .75rem;
}

#topnav .dropdown-content
{
  background: var(--color-primary2);
  border-style: ridge;
  border-width: medium;
  border-color: var(--color-secondary2);
  border-radius: .5rem;
  padding: .5rem;
}

#nav-bottom
{
  height: var(--border-radius);
  background-color: var(--color-border);
  border-top-left-radius: var(--border-radius);
  border-top-right-radius: var(--border-radius);
}