However, Mini DisplayPort connectors can be mixed ... you need a DisplayPort to HDMI adapter or a cable with a DP connector on one end and HDMI on the other. Panasonic offered DisplayPort inputs ...

The first is the mini-HDMI, or Type-C. This is about half the size ... You can also use the versatile USB-C or MiniDisplayPort to send HDMI data using an adapter. There’s a double-sized Type-B port ...