完成世界书、骰子、apiconfig页面处理

frontend/node_modules/refractor/lang/mizar.js

@@ -0,0 +1,23 @@
+// @ts-nocheck
+/**
+ * @import {Refractor} from '../lib/core.js'
+ */
+mizar.displayName = 'mizar'
+mizar.aliases = []
+
+/** @param {Refractor} Prism */
+export default function mizar(Prism) {
+  Prism.languages.mizar = {
+    comment: /::.+/,
+    keyword:
+      /@proof\b|\b(?:according|aggregate|all|and|antonym|are|as|associativity|assume|asymmetry|attr|be|begin|being|by|canceled|case|cases|clusters?|coherence|commutativity|compatibility|connectedness|consider|consistency|constructors|contradiction|correctness|def|deffunc|define|definitions?|defpred|do|does|end|environ|equals|ex|exactly|existence|for|from|func|given|hence|hereby|holds|idempotence|identity|iff?|implies|involutiveness|irreflexivity|is|it|let|means|mode|non|not|notations?|now|of|or|otherwise|over|per|pred|prefix|projectivity|proof|provided|qua|reconsider|redefine|reduce|reducibility|reflexivity|registrations?|requirements|reserve|sch|schemes?|section|selector|set|sethood|st|struct|such|suppose|symmetry|synonym|take|that|the|then|theorems?|thesis|thus|to|transitivity|uniqueness|vocabular(?:ies|y)|when|where|with|wrt)\b/,
+    parameter: {
+      pattern: /\$(?:10|\d)/,
+      alias: 'variable'
+    },
+    variable: /\b\w+(?=:)/,
+    number: /(?:\b|-)\d+\b/,
+    operator: /\.\.\.|->|&|\.?=/,
+    punctuation: /\(#|#\)|[,:;\[\](){}]/
+  }
+}