Bookmarklets

My Java bookmarklets to increase font size stop working with this new update.
Previously:
I wished Dolphin had an "X-large" option for font size. The current "large" option is not large enough for "X-old" people... Alternatively, it may be easier to just keep the "Large" option, with an increased font size, instead of creating a new "X-Large" option. Thank you.

Guephiltefich about Dolphin Web Browser, v10.0.1