1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
From: Johannes Schauer Marin Rodrigues <josch@debian.org>
Date: Sun, 16 Mar 2025 23:30:31 +0100
Subject: replace external google stylesheet with Debian packaged version
Forwarded: not-needed
---
docs/header.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/header.html b/docs/header.html
index 72332ff..0efbb88 100644
--- a/docs/header.html
+++ b/docs/header.html
@@ -18,7 +18,7 @@
$search
$mathjax
- <link href="https://fonts.googleapis.com/css2?family=Roboto:wght@300;400;500&display=swap" rel="stylesheet">
+ @web-font-path: "roboto-debian.css";
<link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
$extrastylesheet
|
