6 Commits

Author	SHA1	Message	Date
Werner Almesberger	29ff186882	prod/doc/: make END macro generate the date and autor line; use current date	2011-05-27 13:14:32 -03:00
Werner Almesberger	e4fc649d7e	prod/doc/: added bottom navigation bar	2011-05-27 13:07:51 -03:00
Werner Almesberger	c0ec3f7a9e	prod/doc/style.inc: use sans serif font in the navigation bar	2011-05-27 10:36:31 -03:00
Werner Almesberger	49177ebe4d	prod/doc/style.inc: interleave the navigation bar and shrink font	2011-05-27 10:31:32 -03:00
Werner Almesberger	213e7031fd	prod/doc/style.inc: fixed header formatting in Firefox	2011-05-27 07:11:32 -03:00
Werner Almesberger	a99fbbfb27	prod/doc/: added HTML macro processor (hmac) and page-specific style	2011-05-27 06:29:42 -03:00