theme

EasyCrypt · Jun 14, 2024 · 4e97ef3 · 4e97ef3
1 parent 904a913
commit 4e97ef3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 9 deletions.
diff --git a/_config.yml b/_config.yml
@@ -1,14 +1,7 @@
 plugins:
   - jekyll-relative-links
+remote_theme: just-the-docs/[email protected]
+search_enabled: false
 relative_links:
   enabled: true
   collections: true
-include:
-  - CONTRIBUTING.md
-  - README.md
-  - LICENSE.md
-  - COPYING.md
-  - CODE_OF_CONDUCT.md
-  - CONTRIBUTING.md
-  - ISSUE_TEMPLATE.md
-  - PULL_REQUEST_TEMPLATE.md
diff --git a/README.md → index.md b/README.md → index.md