I would get a self adhesive LED light strip off amazon or eBay, a few feet of 20 gauge wire, and some alligator clips.
They come in 16 ft sections, and I cut a section long enough for the bar across the top of my portable. Super awesome, energy efficient, and for 20 bucks in parts were were able to make lights for our 3 portables.
I like the soft white LEDs as they are a bit easier on the eyes, and get the brighter 5630s or whatever they are. Match the wire colors, and get a couple butt splicers and you’re in business.