prettify is a userscript to make the web look nicer on high-resolution displays.