Testing/css refactor

This adds a red theme to math4.