Rouven WeßlingandRobert Lord 5da237e7fe Don't use a selector to get the heading text for search results. ...

Prevents bugs with special CSS characters.

Closes #201.

2015-04-30 16:01:44 -05:00

..

lang.js

Use strict mode for JavaScript

2015-04-30 16:01:17 -05:00

search.js

Don't use a selector to get the heading text for search results.

2015-04-30 16:01:44 -05:00

toc.js

Use strict mode for JavaScript

2015-04-30 16:01:17 -05:00