/static/

• ../
• abridge-switcher.min.js
• abridge.min.js
• android-chrome-192x192.png
• android-chrome-192x192m.png
• android-chrome-512x512.png
• apple-touch-icon.png
• auto-render.min.js
• banner.png
• browserconfig.xml
• elasticlunr.min.js
• elasticlunr_search.min.js
• favicon-16x16.png
• favicon-32x32.png
• favicon.ico
• font
• fonts
• katex.min.css
• katex.min.js
• katexoptions.js
• logo.svg
• mathtex-script-type.min.js
• mstile-150x150.png
• nojs.css
• prestyle.js
• safari-pinned-tab.svg
• search.js
• search.min.js
• site.webmanifest
• theme.js
• theme.min.js
• theme_button.js