stylesheets (particularly with respect to translations) is now similar to that of the doc/ tree. Added a customization for HTML page footers (this is the only reader-visible change).
