From dfc9cebb8497220ba27a2d582ee63d4c7acedbcf 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

---
 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 c0e3e1d4..e7ede58c 100644
--- a/docs/_templates/layout.html
+++ b/docs/_templates/layout.html
@@ -2,6 +2,9 @@
 {%- set current_version = "1.4.x sagitta" %}
 {% 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 %}
 {% block extrabody %}
     <p class="devwarning">Warning: This is the dev version. The latest stable version is
-- 
cgit v1.2.3