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)

No differences found