use GGPO-NG theme by default