A bookmarklet that reduces the fraction in the active textbox