[hljs] Añade soporte a HighlightJS en PageTop

This commit is contained in:
Manuel Cillero 2024-12-22 18:09:01 +01:00
parent 6701fb3e90
commit 7530cc69c2
210 changed files with 5277 additions and 2 deletions

View file

@ -0,0 +1,5 @@
/*! `julia-repl` grammar compiled for Highlight.js 11.7.0 */
(()=>{var a=(()=>{"use strict";return a=>({name:"Julia REPL",contains:[{
className:"meta.prompt",begin:/^julia>/,relevance:10,starts:{end:/^(?![ ]{6})/,
subLanguage:"julia"}}],aliases:["jldoctest"]})})()
;hljs.registerLanguage("julia-repl",a)})();