Use newer versions of packages.
Use version 3.7.2 of the html5shiv.

Downloaded from https://github.com/aFarkas/html5shiv
Replace the <div id="content"> element with a <main> element.
Improve print style: smaller font.
Improve print style: remove the menu separators.