JuliaLang · ararslan · Mar 25, 2021 · Feb 3, 2021 · Feb 3, 2021 · Feb 3, 2021
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -47,7 +47,7 @@ jobs:
         run: julia --project -e '
               using Pkg; Pkg.instantiate();
               using NodeJS; run(`$(npm_cmd()) install highlight.js`);
-              using Franklin; optimize();
+              using Franklin; optimize(prerender=false);
               cp(joinpath("__site", "feed.xml"), joinpath("__site", "index.xml"))'
       - name: Deploy (preview)
         if: github.event_name == 'pull_request' && github.repository == github.event.pull_request.head.repo.full_name # if this build is a PR build and the PR is NOT from a fork

diff --git a/_css/franklin.css b/_css/franklin.css
@@ -71,3 +71,15 @@
     background-color: #d8ffd8;
     border-color: #404040;
 }
+
+/* Specific colours for code highlighting */
+
+.hljs-metaj, .hljs-metas, .hljs-metap { font-weight: bold; }
+
+.hljs-meta  { color: #b14e8f; } /* @... */
+.hljs-metaj { color: rgb(25, 179, 51); }  /* julia> */
+.hljs-metas { color: red; }               /* shell> */
+.hljs-metap { color: rgb(51, 131, 231); } /* pkg> */
+
+.hljs-string {color: #ca4418;}
+.hljs-subst { color: inherit;}
diff --git a/_layout/head.html b/_layout/head.html
@@ -3,13 +3,15 @@
 <head>
 	<!-- parts for all pages -->
 	{{insert meta.html}}
-	{{insert head_scripts.html}}
 
 	<link rel="icon" href="/assets/infra/julia.ico">
 
   <!-- Franklin stylesheets for generated pages -->
   {{if hasmath}} {{insert head_katex.html }}      {{end}}
   {{if hascode}} {{insert head_highlight.html }}  {{end}}
+
+	{{insert head_scripts.html}}
+
   {{isdef title}} <title>{{fill title}}</title>   {{end}}
 
   {{ispage /blog/* /jsoc/gsoc/*}}

diff --git a/_libs/highlight/highlight.pack.js b/_libs/highlight/highlight.pack.js