“for all relative paths in a document”

the1lab · Sep 12, 2023 · 400cbae · 400cbae
1 parent ed4cecc
commit 400cbae
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/support/web/css/code.scss b/support/web/css/code.scss
@@ -10,7 +10,7 @@
   font-weight: 400;
   font-stretch: normal;
   font-style: normal;
-  src: url('static/ttf/julia-mono.ttf') format('truetype');
+  src: url('../static/ttf/julia-mono.ttf') format('truetype');
 }
 
 code, pre, .sourceCode {

diff --git a/support/web/css/default.scss b/support/web/css/default.scss
@@ -607,14 +607,14 @@ span.qed {
  * it; An arrow with #000 stroke in light theme and #ABB2BF stroke in
  * dark theme. */
 span.enclosing.liesover {
-  background: url('static/lies-over-light.svg') no-repeat;
+  background: url('../static/lies-over-light.svg') no-repeat;
   background-size: contain;
   background-position: center center;
 }
 
 @media (prefers-color-scheme: dark) {
   span.enclosing.liesover {
-    background: url('static/lies-over-dark.svg') no-repeat;
+    background: url('../static/lies-over-dark.svg') no-repeat;
     background-size: contain;
     background-position: center center;
   }