Disable the `typeset` plugin (#13517)

## 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)
This commit is contained in:
Charlie Marsh 2024-09-25 19:58:35 -04:00 committed by GitHub
parent 7c83af419c
commit d7ffe46054
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions

View File

@ -62,7 +62,6 @@ markdown_extensions:
alternate_style: true
plugins:
- search
- typeset
extra_css:
- stylesheets/extra.css
extra_javascript: