doc: Port page header customizations to XSLT

diff --git a/doc/src/sgml/stylesheet.xsl b/doc/src/sgml/stylesheet.xsl
index 39c9df28ad08511c086c9df435c870cc34e3b28c..42e8cce3688386ca0711c8282cd6f1647be26836 100644 (file)
--- a/doc/src/sgml/stylesheet.xsl
+++ b/doc/src/sgml/stylesheet.xsl
@@ -246,4 +246,142 @@ set       toc,title
   
 
 
+
+
+
+  
+  
+  
+
+  
+  
+
+  
+  
+                                    or (count($up) > 0
+                                        and generate-id($up) != generate-id($home)
+                                        and $navig.showtitles != 0)
+                                    or count($next) > 0"/>
+
+  
+    
+      
+        
+          
+            
+              
+                
+              
+            
+          
+
+          
+            
+              
+                0">
+                  
+                    
+                      
+                        
+                      
+                    
+                    
+                      
+                    
+                    
+                      
+                    
+                  
+                
+                 
+              
+              
+                
+                  
+                                  and generate-id($up) != generate-id($home)">
+                    
+                      
+                        
+                          
+                        
+                      
+                      
+                        
+                      
+                      
+                        
+                      
+                    
+                  
+                   
+                
+              
+              
+                
+                   0
+                                  and generate-id($up) != generate-id($home)
+                                  and $navig.showtitles != 0">
+                    
+                  
+                   
+                
+              
+              
+                
+                  
+                    
+                      
+                        
+                          
+                        
+                      
+                    
+                      
+                    
+                      
+                        
+                      
+                    
+                    
+                       | 
+                    
+                  
+                   
+                
+              
+              
+                 
+                0">
+                  
+                    
+                      
+                        
+                      
+                    
+                    
+                      
+                    
+                    
+                      
+                    
+                  
+                
+              
+            
+          
+        
+      
+      
+        
+      
+    
+  
+
+