Print Stylesheet

[janpio]

There are still people that might want to try to print the docs (on paper or as a PDF to take it with them). We should probably define some kind of print stylesheet that gets rid of the things that are not necessary there.