CSS Improvements

This has lots of little tweaks and improvements, including:

- Print.css accommodates new elements
- Improved header display on smaller screens
-  makes the sidebar scrollable when there is long definition
- prevents the header from covering internal links/citations
- AND MORE!