[DEFAULT]
theme = web2py

[editor]
theme = web2py