On an old CSS optimization technique that is non-trivial to automate but for which there’s a new tool.