Decode the heading id from split link (#214)

Pavol Komlos

2022-10-12 666ffebe90c04dc7fe064a98232538826af70738

 layouts/partials/head.html

@@ -160,6 +160,9 @@
          {left: '$$', right: '$$', display: true},
          {left: '$', right: '$', display: false},
        ],
        macros: {
          '’': "'"
        },
        throwOnError : false
      });
      {{end}}