3 Commits

Author	SHA1	Message	Date
Bastien Guerry	9d51ba9b13	UTILITIES: Use a separate css for the HTML manuals.	2011-12-13 00:21:16 +01:00
Bastien Guerry	4dfc520711	UTILITIES/man*: Fix bug: don't insert </style>	2011-12-10 13:46:50 +01:00
Carsten Dominik	ab310f9405	Website: Improve reading experience of the manual ... The manual now used better the org.css file. It also reacts to single key presses like "n" and "p", and has a top-level table of contents that is always active and visible.	2009-01-19 12:45:20 +01:00