Settings panel
In addition to improving the slide-out navigation panel and moving from javascript to jQuery, we added a settings panel. This panel currently only contains a single button to toggle the display of line breaks / beginnings (marked with <lb/>
in TEI) but it will be used to house more toggles in the coming months.