[gtk-doc] mkhtml2: add spans to refentry nav segments

[Stefan Sauer <stefkost src gnome org>]

commit cc7dc88e645f50f5bfe539a6683b4182530d041c
Author: Stefan Sauer <ensonic users sf net>
Date:   Sat Apr 7 16:41:18 2018 +0200

    mkhtml2: add spans to refentry nav segments

 gtkdoc/mkhtml2.py |   10 +++++++---
 1 files changed, 7 insertions(+), 3 deletions(-)
---
diff --git a/gtkdoc/mkhtml2.py b/gtkdoc/mkhtml2.py
index 014ae88..9e1539b 100644
--- a/gtkdoc/mkhtml2.py
+++ b/gtkdoc/mkhtml2.py
@@ -1085,10 +1085,14 @@ def generate_refentry_nav(ctx, refsect1s, result):
             continue
 
         title = xml_get_title(s)
+        ref_id = s.attrib['id']
+        span_id = ref_id.split('.')[1].replace('-', '_')
         result.append("""
-          <span class="dim">|</span> 
-          <a href="#%s" class="shortcut">%s</a>
-          """ % (s.attrib['id'], title))
+          <span id="nav_%s">
+            <span class="dim">|</span> 
+            <a href="#%s" class="shortcut">%s</a>
+          </span>
+          """ % (span_id, ref_id, title))
     result.append("""
     </td>
     %s