Yes, it might be just a couple of labels with the background color set to gray and the text color set to white. They could have implemented it in some other way (I haven't seen their code), but of course this is the easiest way to do it.
source
to share