[hp34970] replace dailymotion by peertube for embedded video

improve hgignore

[theme] ensure pygments.css is included

[theme] embed exo 2 font

(0) -30 -10 -4 +4 +10 +30 tip

mercurial