fix: Faster theme loading to avoid flickering#3062

arkirchner merged 1 commit intomainopenHPI/codeocean:mainfrom

ak/faster_theme_changesopenHPI/codeocean:ak/faster_theme_changesCopy head branch name to clipboard