diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2010-10-13 19:46:05 +0300 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2010-10-13 19:46:05 +0300 |
commit | 3bf79839c81b84a234c40faa56c8e0464a533b6a (patch) | |
tree | 94fe5a55f030b1f9c7d01a03fcc792f13ec748ea /doc/src | |
parent | d0f876ca8ccb7dc8820302543b114014b7bac090 (diff) | |
download | postgresql-3bf79839c81b84a234c40faa56c8e0464a533b6a.tar.gz postgresql-3bf79839c81b84a234c40faa56c8e0464a533b6a.zip |
Put per-letter quicklinks at the top of the HTML bookindex page
Diffstat (limited to 'doc/src')
-rw-r--r-- | doc/src/sgml/stylesheet.dsl | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl index b7cf735d60e..3a1c632c903 100644 --- a/doc/src/sgml/stylesheet.dsl +++ b/doc/src/sgml/stylesheet.dsl @@ -371,6 +371,49 @@ (empty-sosofo)))) +;; Put index "quicklinks" (A | B | C | ...) at the top of the bookindex page. + +(element index + (let ((preamble (node-list-filter-by-not-gi + (children (current-node)) + (list (normalize "indexentry")))) + (indexdivs (node-list-filter-by-gi + (children (current-node)) + (list (normalize "indexdiv")))) + (entries (node-list-filter-by-gi + (children (current-node)) + (list (normalize "indexentry"))))) + (html-document + (with-mode head-title-mode + (literal (element-title-string (current-node)))) + (make element gi: "DIV" + attributes: (list (list "CLASS" (gi))) + ($component-separator$) + ($component-title$) + (if (node-list-empty? indexdivs) + (empty-sosofo) + (make element gi: "P" + attributes: (list (list "CLASS" "INDEXDIV-QUICKLINKS")) + (with-mode indexdiv-quicklinks-mode + (process-node-list indexdivs)))) + (process-node-list preamble) + (if (node-list-empty? entries) + (empty-sosofo) + (make element gi: "DL" + (process-node-list entries))))))) + + +(mode indexdiv-quicklinks-mode + (element indexdiv + (make sequence + (make element gi: "A" + attributes: (list (list "HREF" (href-to (current-node)))) + (element-title-sosofo)) + (if (not (last-sibling?)) + (literal " | ") + (literal ""))))) + + ]]> <!-- %output-html --> |