/* Compress PDF: one note under the presets, and each level's size before the run. Loaded only on /tools/compress-pdf/. */
.compress-note { margin: 0; font-size: 0.95em; }
.compress-size { display: block; font-size: var(--matrix-type-caption); }