From f797bb14f7413df2abac6326c6df769004e50aa1 Mon Sep 17 00:00:00 2001 From: David Luevano Alvarado Date: Mon, 1 May 2023 09:35:25 -0600 Subject: small bugfix, add toc settings, update example site and delete unnecessary static assets --- pyssg.xyz/live/static/hl/languages/inform7.min.js | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 pyssg.xyz/live/static/hl/languages/inform7.min.js (limited to 'pyssg.xyz/live/static/hl/languages/inform7.min.js') diff --git a/pyssg.xyz/live/static/hl/languages/inform7.min.js b/pyssg.xyz/live/static/hl/languages/inform7.min.js deleted file mode 100644 index 9b55134..0000000 --- a/pyssg.xyz/live/static/hl/languages/inform7.min.js +++ /dev/null @@ -1,9 +0,0 @@ -hljs.registerLanguage("inform7",(()=>{"use strict";return e=>({name:"Inform 7", -aliases:["i7"],case_insensitive:!0,keywords:{ -keyword:"thing room person man woman animal container supporter backdrop door scenery open closed locked inside gender is are say understand kind of rule" -},contains:[{className:"string",begin:'"',end:'"',relevance:0,contains:[{ -className:"subst",begin:"\\[",end:"\\]"}]},{className:"section", -begin:/^(Volume|Book|Part|Chapter|Section|Table)\b/,end:"$"},{ -begin:/^(Check|Carry out|Report|Instead of|To|Rule|When|Before|After)\b/, -end:":",contains:[{begin:"\\(This",end:"\\)"}]},{className:"comment", -begin:"\\[",end:"\\]",contains:["self"]}]})})()); \ No newline at end of file -- cgit v1.2.3-54-g00ecf