Make Monokai theme more maintainable