Improve doc format on superior index
The look of indices end toctrees do not look very well from the general readthedocs (where the rest of repo docs are generated together). So I would recommend to change the index so it looks better from there.
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The look of indices end toctrees do not look very well from the general readthedocs (where the rest of repo docs are generated together). So I would recommend to change the index so it looks better from there.