make page header part larger to prevent title wrapping
authorAaron Klingaman <alk@cs.princeton.edu>
Tue, 4 Apr 2006 23:46:38 +0000 (23:46 +0000)
committerAaron Klingaman <alk@cs.princeton.edu>
Tue, 4 Apr 2006 23:46:38 +0000 (23:46 +0000)
documentation/boot-manager-tech-doc.pdf
documentation/pdn-pdf-style.xsl

index 32cad19..9a336e3 100644 (file)
Binary files a/documentation/boot-manager-tech-doc.pdf and b/documentation/boot-manager-tech-doc.pdf differ
index cd111c4..ff5b631 100644 (file)
@@ -7,6 +7,9 @@
 <xsl:param name="footer.rule" select="0"></xsl:param>
 <xsl:param name="section.autolabel" select="1"></xsl:param>
 
+<!-- more room for the titles at the top of each page -->
+<xsl:param name="header.column.widths" select="'1 2 1'"></xsl:param>
+
 <!-- remove revision history -->
 <xsl:template match="revhistory" mode="titlepage.mode">
 </xsl:template>