os harvard theme: various css updates. #3193