title: Is it less efficient to write dynamic CSS stylesheets with a PHP file extension?
body: <p>Ive been trying to think of ways to dynamically change a style based off of input from a website back-end (through a language like PHP).  Normally I have my stylesheets be separate CSS-extension files, but these won't allow for PHP tags natively.  It is, after all, extra markup in your HTML file than having all of your styles be in a separate file.  Is the usage of the HTML <code>&lt;style&gt;</code> tag perhaps slower/less efficient than using a stylesheet?</p>