Allows you to change the font on all docs.oracle.com pages.
I found the font in all Oracle Docs quite hard to read so I wrote this small extension to allow you to change it. It saves your preference so you don't have to change it every time. You can use any standard font installed on your system (Arial, Times, ...). This is currently in ALPHA and if there's any demand I'll work on it more but for now the extension is provided AS IS. Plans are to allow font size to be changed eventually too.