Now the lovely SPCSS theme by Susam Pal (MIT license) is used. https://github.com/susam/spcss
This should ease troubleshooting for users.
No functional change!