/* Navbar */
#header     { border-bottom: 3px solid #6495ed; padding-bottom: 0.5em; }
#navigation { border: 1px solid #1e2d47; }
/* IE4 fix */
#content { padding: 1em 0; }
#header, #navigation, #intro, #body, #toc, #links, #footer, #content HR
	{ width: 94%; margin-left: 3%; }