Initial go at Godel styling