4 ms·
A bookmarklet like this one could also be used as a quick fix - but I know it's not very practical in the long run because it has be called on every page reload
by JOhnnyD03 5y ago
A bookmarklet like this one could also be used as a quick fix - but I know it's not very practical in the long run because it has be called on every page reload:
javascript:(()=>document.querySelectorAll('.comhead').forEach(e=>{e.style.fontSize='12pt';e.style.lineHeight='20pt'}))()