Thanks for the reply Lance!
I looked through style.css in my copy and in all previous versions of Toolbox listed here:
http://themes.svn.ww.wp.xz.cn/toolbox/
#branding doesn’t appear in any of them.
I was about to post this, then I noticed toolbox/bonus. There is a file called sample.css in there that does reference #branding. I hadn’t touched that file previously as I saw no need to go into bonus features of something that was brand new to me.
Anyway, it’s a problem I won’t run into again, but new users of the theme might get lost in the same way I did.
