Move prism.js and prism.css to prism.min.* (#1248)

This commit is contained in:
Hood Chatham
2023-03-03 18:32:06 +01:00
committed by GitHub
parent 727267ae22
commit 4483f0db0f
4 changed files with 6 additions and 6 deletions

View File

@@ -85,12 +85,12 @@ class PyTutor:
link.type = "text/css"
link.rel = "stylesheet"
js.document.head.appendChild(link)
link.href = "./assets/prism/prism.css"
link.href = "./assets/prism/prism.min.css"
# Add the JS file
script = js.document.createElement("script")
script.type = "text/javascript"
script.src = "./assets/prism/prism.js"
script.src = "./assets/prism/prism.min.js"
js.document.head.appendChild(script)
def _create_code_section(self, source, module_paths=None, parent=None):