Update font handling#5

martinRenou merged 2 commits intojupyterlab-contrib:mainjupyterlab-contrib/jupyterlab-day:mainfrom

jtpio:update-font-handlingjtpio/jupyterlab-day:update-font-handlingCopy head branch name to clipboard