Add a function that returns a unique CSS identifier.

This is for issue #771.