List more themes

I listed the other three themes in the documentation.