/* Minimal supplements on top of the site's original bundled CSS.
   The mirror reproduces the site's real DOM/classes (Page, PageMenu, Article,
   Content, Layout…), so styles.chunk.css does the heavy lifting. These rules
   only cover things the original relied on JS for (e.g. no lightbox now). */

/* Ensure figures/images never overflow the content column. */
.Content img { max-width: 100%; height: auto; }

/* Static mirror has no JS lightbox: the figure links just open the full image
   in a new tab, so drop the "zoom-in" affordance and the magnifier badge that
   the lightbox library overlaid on every figure (.dehn-image-figure:after —
   a white circle whose /zoom-in.svg icon isn't present in the mirror). */
.Content a[data-attribute="SRL"] { cursor: default; }
.Content .dehn-image-figure:after { content: none !important; display: none !important; }

/* Keep the page menu readable if the sticky/scroll JS is absent. */
.PageMenu-menu { max-height: none; }