Nutzungshinweise

Oben auf den Seiten befinden sich zwei Icon-Gruppen zur Bedienung der Dokumentation:

• Ein-/Ausblenden eines Inhaltsverzeichnisses
• Auswahl eines Themes
• Suchfunktion

• Sprachauswahl (Deutsch/Englisch)
• Drucken
• GitHub-Seite des Dokumentationsprojektes
• Änderungen an der aktuellen Seite im GitHub vorschlagen

Tippe ?, um eine kleine Tastatur-Navigationshilfe einzublenden.