I’m thinking I’ll ditch the theme options for colors and fonts. It’s not the best way to handle such things. As I said in the documentation, these things belong in a child theme. They’re handy for quick mockups, which is how I’ve been using them. But it’s unnecessary overhead in the theme and it’s really not clean. I hacked the options framework to make the fonts work properly with font-face implementations, and I don’t want the burden of maintaining my changes alongside the core options framework. Plus I hate the extra bloat that comes from inline CSS hackery.