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.

You should to add comment and rate the style.

Discussions

+ Create discussion

Installs:
Applies to:
coq.inria.fr

Related styles:

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