This file does not output anything itself, but it is needed in other parts of the CSS (for extends, as the name suggests).