Bump highlight.js version. Add semicolons at the end of production rules.

Author: pikinier20

docs/_docs/internals/syntax-3.1.md

@@ -73,3 +73,6 @@ pre, .hljs {
 .hljs-deletion {
   color: var(--hljs-deletion);
 }
+.hljs-attribute {
+  color: var(--hljs-type);
+}

docs/_docs/internals/syntax.md

@@ -0,0 +1,15 @@
+#header {
+  box-sizing: border-box;
+  display: flex;
+  flex-direction: row;
+  justify-content: space-between;
+  align-items: center;
+  padding: calc(1.75 * var(--base-spacing)) calc(3 * var(--base-spacing));
+  position: absolute;
+  height: var(--header-height);
+  left: 0px;
+  right: 0px;
+  top: 0px;
+  background: var(--background-default);
+  border-bottom: 1px solid var(--border-default);
+}

docs/_docs/reference/syntax.md

@@ -94,7 +94,7 @@ trait Resources(using ctx: DocContext) extends Locations, Writer:
       "styles/ux.css",
       "styles/versions-dropdown.css",
       "styles/fontawesome.css",
-      "hljs/highlight.pack.js",
+      "hljs/highlight.min.js",
       "hljs/LICENSE",
       "scripts/hljs-scala3.js",
       "scripts/ux.js",