/* Increased margins */
HR { margin-left: 0ex; margin-right: 1ex; margin-top: 3ex; margin-bottom: 3ex; }

/* List with a bit more space between items */
UL.publications LI { margin-bottom: 1.5ex; }

/* Horizontal navigation list */
UL.navigation { display: inline; margin-left: 0; padding-left: 0; }
UL.navigation LI { display: inline; border-right: 2px solid #000; padding: 3px 15px; }
UL.navigation LI.last { display: inline; border-right: none; }


DIV.longsec H4 { margin-left: 3ex; }
DIV.longsec P { margin-left: 3ex; }
DIV.longsec UL { margin-left: 3ex; }