[checkmk-commits] [tribe29/checkmk] 0db23e: 11498 The dark theme is now used as default theme