don't show sidebar (for printing)

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


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.


+ Create discussion

Applies to:

Related styles:

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