are employer 401 k contributions pre tax?
That's because even if you are putting your contributions into a post-tax (Roth) 401(k), all employer matches are contributions to a traditional 401(k). If you have a traditional 401(k), then you and your employer's contributions will go into the same account, all of which will be taxed when you withdraw.