Update .gitignore (#2366)
Show a permalink anchor when hovering over headings in main content (#2251)
* Implement heading permalinks, close #2246
Thanks to jekyll/jekyll for CSS.
Link anchor is visible when the mouse hovers over the title line.
* Build the updated _main.js
Merge branch 'release/4.0.4'
Conflicts:
README.md
Merge branch 'feature/theme-gem' into develop
Update files and directories ignored by Git
Update files and directories ignored by Git
Merge branch 'release/3.0.0'
Merge branch 'feature/documentation-and-demo' into develop
Merge branch 'feature/refactor-tasks' into develop
Support Jekyll 3.0
- Update to Jekyll v3.0
- Switch from Pygments.rb to Rouge for syntax highlighting
- Minor updates to syntax.scss partial and theme documentation
- Include jekyll-gist gem
- Close #192, #218