From dbb664ceedfbed2e170513efc409bdf4350317cf Mon Sep 17 00:00:00 2001
From: Nicolas MASSART <NicolasMassart@users.noreply.github.com>
Date: Thu, 20 Dec 2018 00:15:19 +0100
Subject: [PATCH] Fix #442 add line numbers on long JS and remove useless
 extension (#443)

and add Abbreviation extension
---
 mkdocs.yml | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

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