Hojas de estilo en PHP

[roman]

Hola,

Quisiera poder escribir hojas de estilo css que utilicen php de manera de poder hacer cosas como (por ejemplo):

Código PHP:

<?
  $padding = 4;
?>

div.midiv
{
  border-width: <?=$padding?>px;
  border-style: solid;
  border-color: gray;

  ...
}

table.mitabla
{
  border-width: <?=$padding?>px;
  border-style: solid;
  border-color: gray;

  ...
}

y así poder cambiar determinados atributos de un sólo golpe.

Examinando el código del phpMyAdmin he visto que insertan hojas de estilo con

Código PHP:

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


e incluso le pasan parámetros:

Código PHP:

<link rel='stylesheet' type='text/css' href='estilo.css.php?padding=<?=$padding?>'>

Intenté hacerlo así y en un principio funcionó con documentos html sin declaración DOCTYPE. Pero posteriormente agregué tal declaración para tratar de igualar la apariencia de los documentos en distintos navegadores.

Pero al hacer esto, FireFox dejó de reconocerme la hoja de estilo mientras que IE la sigue reconociendo.

Intenté usar la misma declaración DOCTYPE que usa phpMyAdmin pero sin resultados.

¿Sabe alguien cómo resolver esto?

// Gracias