Fixed bug where live editor would be left visible while no file was selected. Fixed bug where mobile menu button would not display correctly because of HTML Tidy.