Extension:PageCSS

see extensions/PageCSS/PageCSS.php