Change size of mobile flags#2931

nickygerritsen merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

nickygerritsen:mobile-flagsnickygerritsen/domjudge:mobile-flagsCopy head branch name to clipboard