Change theme to default, since default in rtfd.org is awesome