/* Versioned logo refinement: round all four corners of the header mark. */
.site-header .brand {
  border-radius: 5px !important;
}