Does what I need!

After looking at the descriptions of the many theme editor plugins available, I decided to try this one first. The line numbering feature does exactly what I need, by making it easy for me to inspect the generated code of my web page via Firefox’s tools, and go direct to the line in my style.css file that’s misbehaving. Excellent troubleshooting tool!