Funnily, I tried changing the theme in each portal layout page, but the MIT theme was still the one displayed.