Theme für docs.gwdg.de

Das Problem wurde behoben.

Leider haben Updates bei “docs.gwdg.de” das gewohnte Design unbrauchbar gemacht. Wir prüfen gerade, ob wir das Design anpassen können. Die Funktionalität ist weiterhin gegeben.
Es kann aber trotzdem zeitweise zu Beeinträchtigungen kommen.