We figured it out. There is a spurious empty line in the style description before the '}' at the end of the list. WordPress then turns that into an html paragraph command which is a syntax error and thus the script doesn't run. So if that happens to you, just remove the spare empty line.
... View more