theme.fonts: Fix naming, decrease term size, and switch mono to Fira Code.

Also added some other mono options for later.

Created by  PlumJam  on November 2, 2025
UQUY3KEQEXOWI4OAOEDE7CHP5H5QJL2E3L2GMYCCOOBC6NQVDJLAC
Change contents