/* Filteren boven de lijst. */

.gk-niets {
  margin: 24px 0 8px;
  color: var(--gk-zacht, #6b7378);
  font-size: 15px;
}
.gk-niets a { color: var(--gk-accent, #4e7ca5); }
#pagination_top #filter_top option:disabled { color: #b3bcc2; }
/* De opmaakregel voor de knoppen in dit paneel staat op !important; een
   `style.display = 'none'` uit het scriptje verliest daarvan. Vandaar dat het
   verbergen ook via de stylesheet gaat. */
#pagination_top #filter_top button[hidden] { display: none !important; }