/* The PDF to JPG converter (/pdf-to-jpg), on jpgpdf.css's sheet: the same drop tile, choices and well of pages. Each page
   here is the picture made from it, and a link that downloads it; under it, its number and file size. */
.has-pdf .stage .empty { display: none; }
.pdfjpg .page { display: block; }
.pdfjpg .page img { inset: 0; width: 100%; height: 100%; }
.pdfjpg .order { justify-content: space-between; min-height: 32px; }
.pdfjpg .order small { font-size: 14px; color: var(--muted-foreground); }
@media (hover: hover) { .pdfjpg a.page:hover { box-shadow: 0 0 0 2px var(--foreground), 0 2px 8px rgba(36, 17, 12, .1); } }
.pdfjpg a.page:focus-visible { outline: 2px solid var(--foreground); outline-offset: 2px; }