cleaned up hotkeys; added EOF button + hotkey tooltips
layout adjustment and cleanup
div border glitch fix
[frontend] IE11 crypto fix.