JOhnnyD03·5 anni fa·discussA 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'}))()
javascript:(()=>document.querySelectorAll('.comhead').forEach(e=>{e.style.fontSize='12pt';e.style.lineHeight='20pt'}))()