jack.is / leaflet
a tool for shared writing and social publishing
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

use custom fonts in footnotes

Jared Pereira (Mar 10, 2026, 1:04 PM EDT) 8a00c9de 0654ea2e

+3 -1
+3 -1
app/globals.css
··· 203 203 } 204 204 205 205 /* Scope custom fonts to document content only (not sidebar/UI chrome) */ 206 - .pageScrollWrapper { 206 + .pageScrollWrapper, 207 + .footnote-side-column, 208 + .footnote-popover { 207 209 font-family: var(--theme-font, var(--font-quattro)); 208 210 font-size: var(--theme-font-base-size, 16px); 209 211 }