.site-header {
  padding: 20px 0px 8px 0px;
  position: sticky; top: 0;
  background: var(--pico-background-color);
  z-index: 100;
}

.button-bar {
  display: flex;
  flex: 0 0 auto;
  align-items: center;        /* vertically center */
  justify-content: space-between;
  flex-wrap: wrap;            /* wrap on small screens */
}

.button-bar-left {
  display: flex;
  flex: 0, 0, auto;
}

.button-bar-left a {
  padding: 0.6em 1.2em;        /* larger click area */
  font-size: 1rem;            /* readable text */
  text-decoration: none;      /* remove underline */
}

.button-bar-right {
  display: flex;
  flex: 0, 0, auto;
  gap: 0.4rem;
}

#header-rule {
  margin-bottom: 4px;
}
