Yes they were. When you pressed a channel button they were mid-bright green, if that makes any sense. One could only press one at a time, of course. The power light was red, I believe, as well.
What was neat is one could actually change the button numbers with plastic inserts provided by the television set, and behind the front panel were digital tuning buttons for VHF and UHF stations, which went through a nifty process of making noise and cycling some colored lights.
That would be awesome if you could port this set into your collection!