Let's use the external css file in this hypothetical html file