tweak topbar font-size, fix workspace shifting bug