Let's add some new themes to complement the existing ones (Default, Light, Dark Gray, and Riverside).
To leave a comment, please authenticate.
