Minor fixes in the manual stylesheet.
Merged i18n branch.
A printer style added to doc/css.
Styles moved to doc/css.