Questo è uno script GreaseMonkey per la modifica del font di quasi tutte le parti che compongono le pagine internet che state visualizzando.

Ho tentato varie strade, perchè volgio modificare anche il testo aggiunto dinamicamente, dopo che la fase di load della pagina si è conclusa.

• DOMSubtreeModified, attenzione, DOMSubtreeModified è DEPRECATED
• DOM MutationObserver
• CSS Hack by Daniel Buchner