ho un css da 500 righe circa. mi piacerebbe generarlo via php, per poter definire una volta soltanto i colori che il css debba utilizzare. uso una struttura di questo tipo percui:

miocss.php
Codice PHP:
$colore_testo "#000000";
$colore_sfondo "#ffffff";
echo 
"
  body {
    color: 
$colore_testo;
    background-color: 
$colore_sfondo;
  }
"

quanto influisce questo passaggio (generazione del php) sulla velocità di navigazione dell'utente?