Leider, leider bekomme ich das Navigationsmenü mit Bootstrap nicht so zum Laufen, wie ich mir das wünschen würde. Deswegen nun also: raus mit Bootstrap und zurück zum default Dokuwiki Theme.