/* Generated by Site.Filter: what the projects page's language chips
   hide while they are checked. Not for editing. */

.projects:has(.filter :checked) .project-group > :first-child {
  display: none;
}

.projects:has(.filter :checked) .project-group + .project-group {
  margin-top: 0;
}

.projects:has(#agda:checked) .cards > li:not(.lang-agda) {
  display: none;
}

.projects:has(#cpp:checked) .cards > li:not(.lang-cpp) {
  display: none;
}

.projects:has(#haskell:checked) .cards > li:not(.lang-haskell) {
  display: none;
}

.projects:has(#rust:checked) .cards > li:not(.lang-rust) {
  display: none;
}