Improve layout of documentation. -- Bernhard Fischer