[checkmk-commits] [tribe29/checkmk] 7bc111: GUI Tuning: More small fixes