[checkmk-commits] [tribe29/checkmk] 33f083: Adjust host label margin on service discovery page