From d7ffe460546164e57c66daee51f53bdcb811eeaf Mon Sep 17 00:00:00 2001 From: Charlie Marsh Date: Wed, 25 Sep 2024 19:58:35 -0400 Subject: [PATCH] Disable the `typeset` plugin (#13517) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ## Summary There seems to be a bad interaction between enabling anchorlinks and the `typeset` plugin. I think the former is more important than the latter... so disabling the latter for now. ## Test Plan Before: ![Screenshot 2024-09-25 at 7 53 21 PM](https://github.com/user-attachments/assets/bf7c70bb-19ab-4ece-9709-4c297f8ba67b) After: ![Screenshot 2024-09-25 at 7 53 12 PM](https://github.com/user-attachments/assets/e767a575-1664-4288-aecb-82e8b1b1a7bd) --- mkdocs.template.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/mkdocs.template.yml b/mkdocs.template.yml index a35085c4a34b4..d722bb97ce119 100644 --- a/mkdocs.template.yml +++ b/mkdocs.template.yml @@ -62,7 +62,6 @@ markdown_extensions: alternate_style: true plugins: - search - - typeset extra_css: - stylesheets/extra.css extra_javascript: