Fix #442 add line numbers on long JS and remove useless extension (#443)

and add Abbreviation extension
Nicolas MASSART 6 years ago committed by GitHub
parent 7f0058066c
commit dbb664ceed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 11
      mkdocs.yml

@ -36,14 +36,6 @@ edit_uri: ""
theme: theme:
name: material name: material
custom_dir: docs/custom_theme custom_dir: docs/custom_theme
highlightjs: true
hljs_languages:
- java
- bash
- bat
- toml
- json
- yaml
palette: palette:
primary: blue-grey primary: blue-grey
accent: teal accent: teal
@ -86,11 +78,14 @@ nav:
markdown_extensions: markdown_extensions:
- toc: - toc:
permalink: permalink:
toc_depth: 3
- pymdownx.highlight:
- markdown_include.include: - markdown_include.include:
base_path: docs base_path: docs
- admonition - admonition
- footnotes - footnotes
- def_list - def_list
- abbr
- pymdownx.arithmatex - pymdownx.arithmatex
- pymdownx.betterem: - pymdownx.betterem:
smart_enable: all smart_enable: all

Loading…
Cancel
Save