[hp34970] replace dailymotion by peertube for embedded video

improve hgignore

[theme] ensure pygments.css is included

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

mercurial