CSS extraction for #142