From a9fa227e7c1704218e555050b9a7a4ffe3cd9972 Mon Sep 17 00:00:00 2001 From: Stephen Kitt Date: Sat, 31 Oct 2020 16:38:56 +0000 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