diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b43bd94a9b..a0fa033764 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -15,12 +15,12 @@ jobs: repository: lensapp/lens path: lens - - name: Checkout lensapp/mkdocs-material-insiders - uses: actions/checkout@v2 - with: - repository: lensapp/mkdocs-material-insiders - path: mkdocs-material-insiders - token: ${{ secrets.GH_TOKEN }} + # - name: Checkout lensapp/mkdocs-material-insiders + # uses: actions/checkout@v2 + # with: + # repository: lensapp/mkdocs-material-insiders + # path: mkdocs-material-insiders + # token: ${{ secrets.GH_TOKEN }} - name: Set up Python 3.7 uses: actions/setup-python@v2 diff --git a/docs/custom_theme/partials/footer.html b/docs/custom_theme/partials/footer.html deleted file mode 100644 index cf149bf9ad..0000000000 --- a/docs/custom_theme/partials/footer.html +++ /dev/null @@ -1,98 +0,0 @@ - - -{% import "partials/language.html" as lang with context %} - - - \ No newline at end of file diff --git a/mkdocs.yml b/mkdocs.yml index 652f34a2b4..200dff7131 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -59,6 +59,9 @@ theme: name: Switch to dark mode features: - navigation.instant + - toc.autohide + - search.suggest + - search.highlight extra_css: - stylesheets/extra.css