Special formatting rules for printing

I used a media query to make it so that when you print the page, the extra elements (e.g. the github banner) are removed, and the content is re-sized to fit the page better.