PHP y CSS, una duda de peso

[salbatore]

Hola, foreros:

Me ha entrado una dudilla con como llamar al archivo que contiene los estilos. Siempre lo he llamado de esta forma:

Código HTML:

<link href="estilo.css" rel="stylesheet" type="text/css" /> 

Pero desde hace unos dias me encontrado con webs que lo tienen de este modo:

Código HTML:

<link href="estilo.php" rel="stylesheet" type="text/css" /> 

Ya se para que, es para integrar php en sus hojas de estilo, pero ¿esto tiene sentido?, es decir, lo bueno de una hoja css es no tener que descargarse continuamente el archivo .css, creeis que tiene sentido?, es decir, por que si no me equivoco al ser .php se supone que tiene un codigo que tiene que ejecutar el servidor y por lo tanto debe ejecutarse en cada entrada, no?

¿Que creeis?

[Triby]

Efectivamente se ejecuta en cada página vista y tal vez el uso sea para mostrar diferentes estilos de acuerdo a la sección que se esté viendo o al navegador que utiliza el usuario.

[salbatore]

Hola,

Es una pena, jeje...

[AlvaroG]

Siempre se puede usar cache y las cabeceras HTTP adecuadas para evitar recargas innecesarias.
Personalmente nunca me vi en la necesidad de hacer algo así, pero sus motivos tendrán