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)
commit77a21e77379445040559483ce20314a258fe6687
tree25d71767cd8f0f08f550a673a5b8f1f89a88e57b
parent851150e1edc9267ac57692810dfafaedeb458b74
make page header part larger to prevent title wrapping
documentation/boot-manager-tech-doc.pdf
documentation/pdn-pdf-style.xsl