Version 1.7.1.2 released

- New option to select icons buttons for font-family and font-size
buttons
- The font-family & font size icon mode has been improved
- The selection of the font-family & font size buttons (icon mode or
not) should now be visible when the button show (scrollto function)
- The menu of the font-family and font size buttons have now the same
fix that was done for the color/bgcolor buttons when the fullscreen mode
is enabled (it has sometimes positioning bugs on FF).