renamed Red-Andy theme to PUB theme