/* Keep the filter page below the theme navigation. */
.hacvf { padding-top: 160px; }
body:has(.hacvf) #masthead { background: #fff7f7; }
@media (max-width: 760px) { .hacvf { padding-top: 125px; } }
@media print { .hacvf { padding-top: 0; } }