AW: manual with css

[Jan . Materne]

> > The generated docs are generated from the xdocs right?

Just read Peters statement :-)

Ok the "docs" are generated from xdocs, the docs/manual is plain HTML and
_some_ docs/manual/*.html are generated from java sources.


Jan