doc: Fix URLs for custom CSS and JS (#1700)

Lysxia · web-flow · commit 542acef57b1d · 2025-09-05T15:10:40.000+02:00
diff --git a/ci/html/header.html b/ci/html/header.html
@@ -1 +1 @@
-<link rel="stylesheet" type="text/css" href="/highlight.css">
+<link rel="stylesheet" type="text/css" href="https://creusot-rs.github.io/creusot/doc/highlight.css">
diff --git a/ci/html/postscript.html b/ci/html/postscript.html
@@ -1,4 +1,4 @@
-<script src="/highlight.js"></script>
+<script src="https://creusot-rs.github.io/creusot/doc/highlight.js"></script>
 <script>
   hljs.configure({
       tabReplace: '    ',

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-<link rel="stylesheet" type="text/css" href="/highlight.css">`
	`1`	`+<link rel="stylesheet" type="text/css" href="https://creusot-rs.github.io/creusot/doc/highlight.css">`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-<script src="/highlight.js"></script>`
	`1`	`+<script src="https://creusot-rs.github.io/creusot/doc/highlight.js"></script>`
`2`	`2`	`<script>`
`3`	`3`	`hljs.configure({`
`4`	`4`	`tabReplace: ' ',`