Changing font on Cinnamon panel

[benettfreeman]

I want to change the font for my panel - Window Selector, Date/Time, Battery status, etc

This thread suggests editing cinnamon.css for the current theme:

viewtopic.php?f=208&t=106758

However, this does not work. Does anyone have any other suggestions?