I use two ARB "adventure lights" (their name, not mine) plugged into 12 volt ports on my Horizon. I hang them from either side of the awning.
We use a Snow Peak lantern inside the tent. I don't recall the name, it's not quite the size of a baseball. Throws plenty of light and runs on a couple of AA batteries.
I have an ancient Coleman lantern, but messing with mantles, fuel, etc., became too much or a chore.