Monokai-colored sidebar in Default theme