/* sigh, spacings are all over the place between browsers.
   my attempt to fix it with unicode-char markers only made
   things *significantly* worse. webkit and chromium seem
   to have parity the way things are now, so it's just
   gecko that needs a 1px tweak.

   rip. */

.border > summary > h3:first-child {
  padding-bottom: 4px;
}

/* tweak to square summary marker box */

.border > summary {
  margin-left: 7px;
}
.border > summary > h3:first-child {
  margin-left: 9px;
}