TODO items
bump Bootstrap version; regenerate CSS
improve summary-box spacing when a symbol does not have a summary (#71)