log default/static/highlight.css @ 113:e96a3e09d4e9

age author description
2017-11-30 Goffi static (css): added highlight CSS to handle new highlight filter (pygments)