It's a micro hdmi port with a kind of plastic cradle around it that pushes down with light pressure. Makes it much more efficient putting it into the dock than just trying to eyeball it.
It's actually USB-C which means if you want to you can get a USB-C charger cable if you want to take it somewhere else to charge without having to pull out the adapter that came with it.