Make options panel collapsible

In split view or resized browser windows, the always-visible parser options panel takes up too much horizontal space. Since options are often "set and forget," consider making this panel collapsible to prioritize content viewing area.