Add HTML classes to make plugins easier to write

Right now, writing a CSS/JS plugin ends up depending on some very fragile CSS selectors to alter different elements on the page -- this attempts to solve this problem in general by adding classes to header and summary sidebar links and buttons for easier selection. Ideally these class names would also be persisted in future versions so as not to break existing plugins.