remove tedious explanation of why theme.css has to be modified