From 22ead7db5a856fdc92ebba420f4e13947d08a765 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 31 Jul 2020 11:00:47 +0530
Subject: [PATCH] Manual: Remove underline from section headings

---
 manual/resources/custom.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/manual/resources/custom.css b/manual/resources/custom.css
index 5ef30c5862..366ee33cb0 100644
--- a/manual/resources/custom.css
+++ b/manual/resources/custom.css
@@ -47,3 +47,4 @@ div.document { margin-top: 0px; }
 div.related { background-color: #39322b; color: white; font-family: sans-serif; padding: 0.5ex 0; }
 div.related a { text-decoration: none; color: white; }
 div.related a:hover { text-decoration: none; color: red; }
+a.toc-backref { text-decoration: none; }