From 61d0e803c6a2f49688bba9f23eaa3fc2c19a6c33 Mon Sep 17 00:00:00 2001
From: Nikolaus Schulz <microschulz@web.de>
Date: Tue, 6 Nov 2007 23:33:33 +0000
Subject: [PATCH] db2html.dsl: override $refentry-body$ from dbrfntry.dsl to
 add a <hr> after the refentry title <h1>.

---
 db2html.dsl | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/db2html.dsl b/db2html.dsl
index f1021ea..cac5775 100644
--- a/db2html.dsl
+++ b/db2html.dsl
@@ -19,6 +19,21 @@
   ;; Should verbatim environments be shaded?
   #t)
  
+; Override $refentry-body$ from dbrfntry.dsl
+; to add a hr after the refentry title h1.
+(define ($refentry-body$)
+  (let ((id (element-id (current-node))))
+    (make sequence
+      (make element gi: "H1"
+            (make sequence
+              (make element gi: "A"
+                    attributes: (list (list "NAME" id))
+                    (empty-sosofo))
+              (element-title-sosofo (current-node))))
+      ; Now add hr element after h1. 
+      (make empty-element gi: "HR")
+      (process-children))))
+
 </style-specification-body>
 </style-specification>
 <external-specification id="docbook" document="dbstyle">