In un tema potresti probabilmente farlo aggiungendo un’impostazione che salva in localStorage, lo svantaggio è che gli utenti dovrebbero cambiare la preferenza in ogni browser che usano.
Potresti avere più temi, ma diventerebbe complicato se volessi offrire più temi che cambiano stili oltre al font.
Un plugin sarebbe un po’ più complicato, ma probabilmente sarebbe il modo più semplice per farlo, perché potresti aggiungere impostazioni reali invece di fare affidamento sullo storage del browser o avere molti temi.