key event map for Android
the Back key on Android should close the popup window and menu
pass onClose gesture to Menu widget
use two finger swipe west/east to close TOC and bookmark respectively
tweaks of font size
Merge pull request #638 from chrox/master

use two finger swipe west/east to close TOC and bookmark respectively