They distribute the css, in that they let us edit it, but they limit what we can do with it. Not GPL.