From 4e57bc3affe70eae8bd69fcadd4ebc11c7598143 Mon Sep 17 00:00:00 2001 From: Stephen Kitt Date: Tue, 18 Aug 2020 19:56:01 +0100 Subject: [PATCH] Don't pull in remote resources Forwarded: not-needed Gbp-Pq: Name remove-remote-resources.patch --- doc/style/bootstrap.css | 1 - doc/style/header.html | 4 ++-- doc/style/libevdevdoxygen.css | 2 -- 3 files changed, 2 insertions(+), 5 deletions(-) diff --git a/doc/style/bootstrap.css b/doc/style/bootstrap.css index 05dc925..04d24e0 100644 --- a/doc/style/bootstrap.css +++ b/doc/style/bootstrap.css @@ -1,4 +1,3 @@ -@import url("https://fonts.googleapis.com/css?family=Roboto:300,400,500,700"); /*! * bootswatch v3.3.5 * Homepage: http://bootswatch.com diff --git a/doc/style/header.html b/doc/style/header.html index cb1c1b1..bdf5c77 100644 --- a/doc/style/header.html +++ b/doc/style/header.html @@ -9,7 +9,7 @@ - + $projectname: $title $title @@ -20,7 +20,7 @@ $mathjax $extrastylesheet - + diff --git a/doc/style/libevdevdoxygen.css b/doc/style/libevdevdoxygen.css index cfceee4..2fa633c 100644 --- a/doc/style/libevdevdoxygen.css +++ b/doc/style/libevdevdoxygen.css @@ -1,5 +1,3 @@ -@import url("https://fonts.googleapis.com/css?family=Roboto+Mono"); - dd { margin-left: 30px; } -- 2.30.2