jbt/docker — pull request #38 by justan (2013-04-07 09:27:08+00:00)
Title: Headings encoding

Make the headingsID unique and use `encodeURIComponent` for unicode headings.