[checkmk-commits] [tribe29/checkmk] b31a07: UI Tuning: Adjustments to the mega menu