Update CSS for ii-V paper.

Use Junicode instead of Cardo (decent underline support in Firefox), and
set the nav div to display: none, since they refer to old examples.