# Use the terminal's 16 ANSI colors so the output adapts to both
# the dark and light foot color themes.
--theme="ansi"