github hermosa window emergente: buscando css

Hay una nueva característica en Github: maps . Está construido con Leaflet, pero claramente usa algún costum css para el pop-up:

enter image description here

Me encantaría usar el mismo, pero no puedo encontrar el CSS correspondiente.

Esta página como ejemplo

lpfm_points.geojson

Contiene un enlace

geojson

En esa página está el CSS generado dinámicamente

geojson-64e8fd6d2ba99bc02ad3b29de0f16e1a.css

Retazo

 .marker-properties td { padding: 5px 10px; border: 1px solid #eeeeee; }