coq.inria.fr: black "id"s (for printing)

Added by naesten@userstyles, Created: Sep 01, 2009, Updated: Sep 02, 2009
No screenshot

Description:

Get rid of the coqdoc coloring for elements of class "id".

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.