Updated options file for Jetbrains to include additional themes