/* Reduce the three primary homepage menu labels by one pixel at every size. */
.pv-home .pv-menu-primary > a:is([href="vermessung.html"],[href="planung.html"],[href="praesentation.html"]) > span:not([class]) {
  font-size:calc(1em - 1px);
}
/* The image menu is scaled by 1.3: keep its dots at the masthead's visible 9px. */
.pv-home .pv-carousel-menu-frame .pv-menu-secondary a::after,
.pv-home .pv-carousel-menu-frame .pv-menu-contact .pv-pulse-dot {
  box-sizing:border-box;
  flex:0 0 calc(9px / 1.3);
  width:calc(9px / 1.3);
  height:calc(9px / 1.3);
  border-width:calc(1px / 1.3);
}
