/* Le calendrier général est retiré de la navigation publique. */
a[href$="/calendrier/"] {
  display: none !important;
}

/* Onglet « Sur cette page » rétracté : repère discret mais réellement lisible. */
.agd-page-toc.is-collapsed {
  opacity: .34;
}

.agd-page-toc.is-collapsed .agd-page-toc__title {
  background: rgba(255, 255, 255, .64);
}

@media (max-width: 600px) {
  .agd-page-toc.is-collapsed {
    opacity: .30;
  }

  .agd-page-toc.is-collapsed .agd-page-toc__title {
    background: rgba(255, 255, 255, .56);
  }
}