Minimal fix for #810#823

kaqqao wants to merge 1 commit intodoki-theme:maindoki-theme/doki-theme-jetbrains:mainfrom

kaqqao:810-errorkaqqao/doki-theme-jetbrains:810-errorCopy head branch name to clipboard