fix javascript to show/hide formatting help