Code

Improve layout of documentation. -- Bernhard Fischer