Use js to size element heights

Previously there were just a bunch of breaks in the  CSS code which
were limited and didn’t quite look right. Now we use a tracker element
pinned to the bottom to calculate the appropriate height ad adjust
accordingly.
remember loaded file when switching tabs
adding global hotkey navigation