Да ладно, Марко, это был супер фантастический сценарий !!! Я использовал ваш способ, чтобы установить пользовательскую ширину во внешнем CSS-файле, и он прекрасно работает.
Я делаю все, что нужно для php, здесь:
<?php
header("Content-type: text/css");
$width= $_COOKIE['scr_width']-10;
?>
тогда я использую переменные ниже внутри файла CSS следующим образом:
width:<?PHP echo $width."px;";?>
и я включил вот так:
<head>
<link rel="stylesheet" href="<?PHP echo myLocVars::$mySpacePath."style.php";?>">
</head>
Включение CSS может быть очень сложным, потому что, к сожалению, оно не выдает ошибку (по крайней мере, я не знаю, как ...), и это может быть проблемой. Вот почему я даю полный путь, потому что это локальный CSS, включенный в локальный файл, включенный в себя из index.php.