I just wrote a post about how to create a dynamic stylesheet in Thematic. It uses theme options to update an external css-like file. All the source code for the child theme is available. I would love some feedback if anyone is interested in checking it out.
http://wordpresstheming.com/2009/12/dynamic-css-theme-options/