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