/*
 * This is a separate file rather than embedded because it allows us to
 * suppress non-working CSS from IE8, etc.
 */
body {
	margin-left: 24em;
}
*.TOC {
	margin-left: -23em;
	width: 22em;
	position: fixed;
	top: 0;
	overflow: auto;
	height: 100%;
}
*.TOC li li {
  margin-left: -1em;
}

*.nav-break {
  margin-top:  10px;
}
*.nav-top
{
	color: #FFF;
	background-color: #ccc;
	text-decoration:none;
	text-transform:uppercase;
	font-style:italic;
}

*.menu-nav ul
{
	text-decoration:none;
}