Fixes github pages build error for navigation
Fixes github pages build error for navigation

LernMoment/programmieren-lernen-tutorial,LernMoment/programmieren-lernen-tutorial,LernMoment/programmieren-lernen-tutorial