Minor cosmetic fixes to GitLog, and an switch from Grit to Rugged