diff options
| -rw-r--r-- | docs/src/dom.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/src/dom.js b/docs/src/dom.js index 7363d06b..bda90373 100644 --- a/docs/src/dom.js +++ b/docs/src/dom.js @@ -86,7 +86,7 @@ DOM.prototype = { if (typeof heading == 'string') { var id = heading. replace(/\(.*\)/mg, ''). - replace(/[^\d\w]/mg, '.'). + replace(/[^\d\w\$]/mg, '.'). replace(/-+/gm, '-'). replace(/-*$/gm, ''); anchor = {'id': id}; |
