/* Mini website only. Fixed display adjustment copied from the main website.
   The class also covers GIFs served through /art/media.php.
   Related thumbnails inherit correction from their artwork, whatever their own format.
   Source files, animation timing, and the existing fade behavior are untouched. */
img[src$=".gif" i],
img[src*=".gif?" i],
img[src*=".gif#" i],
img.mini-gif-corrected,
.thumbnails-grid img[data-gif-artwork="true"] {
  filter: brightness(0.85) contrast(1.25);
}