I feel like CSS is more of a problem for a SAT solver than for an LLM. But really it is the place where I feel need the most help, particularly when debugging or modifying CSS written by people who didn't really understand CSS. (With a total of 40+ standards documents defining it, who really does?)