keyboard.html code from an html5 website; tweaks to remote.html html appearance.