Thread:Extension talk:Header Tabs/Font too small in Vector skin + workaround