Rename default-monokai.css to monokai-sub.css