Yeah, it's MochaUI. About two years ago, the project was mostly un-maintained, I haven't looked at it recently though.