From 4ddcd64367da744c328ecd1ceb8f6055bfeca8a5 Mon Sep 17 00:00:00 2001
From: rebortg <github@ghlr.de>
Date: Thu, 24 Mar 2022 20:30:33 +0100
Subject: improve coverage layout

(cherry picked from commit dfc9cebb8497220ba27a2d582ee63d4c7acedbcf)
---
 docs/_templates/layout.html | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'docs/_templates')

diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html
index 5501e663..29be7326 100644
--- a/docs/_templates/layout.html
+++ b/docs/_templates/layout.html
@@ -2,4 +2,7 @@
 {%- set current_version = "1.3.x equuleus" %}
 {% block extrahead %}
     <link href="{{ pathto("_static/css/custom.css", True) }}" rel="stylesheet" type="text/css">
+    <link href="{{ pathto("_static/css/datatables.css", True) }}" rel="stylesheet" type="text/css">
+    <script type="text/javascript" charset="utf8" src="{{ pathto("_static/js/datatables.js", True) }}"></script>
+    <script type="text/javascript" charset="utf8" src="{{ pathto("_static/js/tables.js", True) }}"></script>
 {% endblock %}
-- 
cgit v1.2.3