Here's a bookmarklet I use that works pretty well — copy this line of text into a bookmark URL and add it to your bookmarks toolbar/favourites/... javascript

Here's a bookmarklet I use that works pretty well — copy this line of text into a bookmark URL and add it to your bookmarks toolbar/favourites/... javascript:(function()%7Bvar%20n=window.document.createElement(%22style%22);n.setAttribute(%22type%22,%22text/css%22);n.innerText=%22html%7Bfont-size:1.2em!important;line-height:1.3!important;%7Dbody,table,tr,td,.default,.comment,.comhead,.pagetop,span.pagetop%20b,.c00,.yclinks%7Bfont-size:inherit!important;line-height:inherit!important;%7D.pagetop,.title%7Bfont-size:1.1em!important;%7Dtable%23hnmain%7Bwidth:100%25!important;%7Dbody%7Bmargin:0;%7D%22;window.document.head.appendChild(n)%7D)() It's a work in progress. You can of course tweak the font-sizes to suit yourself.