diff --git a/Project.toml b/Project.toml
index e9f4423077..faafef82c1 100644
--- a/Project.toml
+++ b/Project.toml
@@ -2,7 +2,7 @@ name = "Pluto"
 uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781"
 license = "MIT"
 authors = ["Fons van der Plas <fonsvdplas@gmail.com>", "Mikołaj Bochenski <iceflamecode@gmail.com>"]
-version = "0.12.4"
+version = "0.12.5"
 
 [deps]
 Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
diff --git a/frontend/common/OfflineHTMLExport.js b/frontend/common/OfflineHTMLExport.js
index f9e1160510..de6da73231 100644
--- a/frontend/common/OfflineHTMLExport.js
+++ b/frontend/common/OfflineHTMLExport.js
@@ -51,7 +51,7 @@ export const offline_html = async ({ pluto_version, body, head }) => {
                 <link rel="stylesheet" href="${CDNified(pluto_version, "editor.css")}" type="text/css" />
                 <link rel="stylesheet" href="${CDNified(pluto_version, "treeview.css")}" type="text/css" />
                 <link rel="stylesheet" href="${CDNified(pluto_version, "hide-ui.css")}" type="text/css" />
-                <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.css" type="text/css" />
+                <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.css" type="text/css" />
 
                 <script src="${CDNified(pluto_version, "treeview.js")}"></script>
 
diff --git a/frontend/editor.css b/frontend/editor.css
index 1e088db56b..ee5ddc0830 100644
--- a/frontend/editor.css
+++ b/frontend/editor.css
@@ -198,6 +198,9 @@ pluto-output.rich_output code {
     border-radius: 8px;
     background-color: #f2f2f2;
 }
+pluto-output.rich_output pre code {
+    padding: 0px;
+}
 
 pluto-output pre {
     display: inline-block;
diff --git a/frontend/editor.html b/frontend/editor.html
index dcbf7b8e3f..c1e78ba52d 100644
--- a/frontend/editor.html
+++ b/frontend/editor.html
@@ -21,17 +21,17 @@
     <script src="https://cdn.jsdelivr.net/npm/lodash@4.17.20/lodash.min.js" defer></script>
     <script src="https://cdn.jsdelivr.net/npm/@observablehq/stdlib@3.3.1/dist/stdlib.js" defer></script>
     <script src="https://cdn.jsdelivr.net/npm/iframe-resizer@4.2.11/js/iframeResizer.min.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/mode/julia/julia.min.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/hint/show-hint.min.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/display/placeholder.min.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/edit/matchbrackets.min.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/runmode/runmode.min.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/comment/comment.min.js" defer></script>
-    <!-- <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/edit/closebrackets.min.js" defer></script> -->
-    <!-- <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/search/searchcursor.min.js" defer></script> -->
-    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.css" />
-    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/hint/show-hint.min.css" />
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.js" defer></script>
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/mode/julia/julia.min.js" defer></script>
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/hint/show-hint.min.js" defer></script>
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/display/placeholder.min.js" defer></script>
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/edit/matchbrackets.min.js" defer></script>
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/runmode/runmode.min.js" defer></script>
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/comment/comment.min.js" defer></script>
+    <!-- <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/edit/closebrackets.min.js" defer></script> -->
+    <!-- <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/search/searchcursor.min.js" defer></script> -->
+    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.css" />
+    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/hint/show-hint.min.css" />
 
     <link rel="stylesheet" href="editor.css" type="text/css" />
     <link rel="stylesheet" href="treeview.css" type="text/css" />
diff --git a/frontend/index.css b/frontend/index.css
index 76020d8392..2e683bee1b 100644
--- a/frontend/index.css
+++ b/frontend/index.css
@@ -220,7 +220,7 @@ loading-bar {
 }
 
 body.loading loading-bar {
-    animation: 12s ease-in-out load;
+    animation: 16s ease-in-out load;
     display: block;
 }
 
diff --git a/frontend/index.html b/frontend/index.html
index 6f4c72f67c..83a81c188c 100644
--- a/frontend/index.html
+++ b/frontend/index.html
@@ -19,11 +19,11 @@
     <script src="common/RegisterSW.js"></script>
 
     <script src="https://cdn.jsdelivr.net/npm/@observablehq/stdlib@3.3.1/dist/stdlib.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/hint/show-hint.min.js" defer></script>
-    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/display/placeholder.min.js" defer></script>
-    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/lib/codemirror.min.css">
-    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.1/addon/hint/show-hint.min.css">
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.js" defer></script>
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/hint/show-hint.min.js" defer></script>
+    <script src="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/display/placeholder.min.js" defer></script>
+    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/lib/codemirror.min.css">
+    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/codemirror@5.58.2/addon/hint/show-hint.min.css">
 
 
     <link rel="stylesheet" href="index.css">
diff --git a/frontend/juliamono.css b/frontend/juliamono.css
index 22dc56e3ba..02ac8790fc 100644
--- a/frontend/juliamono.css
+++ b/frontend/juliamono.css
@@ -1,6 +1,6 @@
 @font-face {
     font-family: JuliaMono;
-    src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.022/webfonts/JuliaMono-RegularLatin.woff2") format("woff2");
+    src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.025/webfonts/JuliaMono-RegularLatin.woff2") format("woff2");
     font-display: swap;
     font-weight: 400;
     unicode-range: U+00-7F; /* Basic Latin characters */
@@ -8,7 +8,7 @@
 
 @font-face {
     font-family: JuliaMono;
-    src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.022/webfonts/JuliaMono-BoldLatin.woff2") format("woff2");
+    src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.025/webfonts/JuliaMono-BoldLatin.woff2") format("woff2");
     font-display: swap;
     font-weight: 700;
     unicode-range: U+00-7F; /* Basic Latin characters */
@@ -16,14 +16,14 @@
 
 @font-face {
     font-family: JuliaMono;
-    src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.022/webfonts/JuliaMono-Regular.woff2") format("woff2");
+    src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.025/webfonts/JuliaMono-Regular.woff2") format("woff2");
     font-display: swap;
     font-weight: 400;
 }
 
 @font-face {
     font-family: JuliaMono;
-    src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.022/webfonts/JuliaMono-Bold.woff2") format("woff2");
+    src: url("https://cdn.jsdelivr.net/gh/cormullion/juliamono@0.025/webfonts/JuliaMono-Bold.woff2") format("woff2");
     font-display: swap;
     font-weight: 700;
 }