Configurable keyboard controls for HTML5 video: play/pause, mute, seek, volume, theater mode, and per-domain auto-theater.