Hi,
Danke Euch beiden. Liegt also nicht an mir …
einen cast-Operator oder eine cast-Funktion gibt's vermutlich auch nicht …
Schade, dann muß ich halt x Selektoren mit handausgerechneten Werten bauen a la
[data-priority="1"] { border-width: 2px; }
[data-priority="2"] { border-width: 4px; }
[data-priority="3"] { border-width: 6px; }
/* ... */
cu,
Andreas a/k/a MudGuard