jsholmes99 updated Q373: Is it possible to select a different style for pygments? from to Is it possible to select a different style for pygments?.