coq.inria.fr: don't show sidebar (for printing)

Added by naesten@userstyles, Created: Sep 01, 2009, Updated: Sep 02, 2009
With the style applied

Description:

Remove the sidebar from anywhere on the Coq site, to make it print more sensibly -- especially useful for the library documentation, since that isn't all available in PDF format.

Installs:
Applies to:
coq.inria.fr
Show code
Report style issues

Related styles:

More Inria themes

WARNING: This webware is not functioning properly. Please enable javascript in your browser and try again.