Looking for a certain kind of adapter

Solution
You would have to route it this way.

Displayport > HDMI
Then HDMI to Mini HDMI

They don't make one for Displayport to Mini HDMI.