You can edit that file ( /var/local/java/prefs/reader.pref ) using a hex editor:
[Image violates Posting Guidelines for size - MODERATOR]
Note that the file length may vary depending on your font selection, so you should start counting from the *end* of the file to find the right bytes to modify (bottom margin = 4th-last byte, etc.)
Last edited by Dr. Drib; 03-19-2016 at 12:55 PM.
Reason: fixed mistake