entweder dir reicht calc() oder du verwendest eine serverseitige Lösung um das CSS zu verarbeiten - z.B. SASS oder LESS oder du jagst die CSS-Files einfach durch z.B. den PHP-Interpreter
Wenn man nicht gerade auf einer Java-Plattform arbeitet ;-)
Danke!