Theme for docs.gwdg.de

The problem has been fixed.

Unfortunately, updates to “docs.gwdg.de” have rendered the usual design unusable. We are currently checking whether we can adapt the design. The functionality is still available.
However, there may still be temporary disruptions.