The Elephant on the Hill is now the Ichnusa Gastro Pub. The "gastro pub" bit might be a descriptor, but WhatPub has this in the name, and I couldn't find a photo of the place that wasn't just food! The weblink is redundant as well of course.