/* this CSS file is used when web pages are printed */
div#Container
{
	background-image: none;
}

div#Container div#GlobalNav { display: none; }
div#Container div#Header { display: none; }
div#Container div#LocalNav { display: none; }
div#Container div#Footer { display: none; }
div#Container div#WebContent { margin: 0; }
/*
div#Container div#WebContent a:link:after,
div#Container div#WebContent a:visited:after
{
  content: "<br />(" attr(href) ") ";
  font-size: 90%;
}
*/
/*
h1, h2, h3, h4, h5, h6
{
  page-break-after: avoid;
}
table, ul, ol
{
  page-break-inside: avoid;
}
h1, h2, h3
{
  page-break-before: always;
}
.DoNotPrint
{
  display: none;
}

*/
div#Container div#WebContent .highlight
{
  background: #AAAAAA;
}
div#Container div#WebContent div.hr
{
  background-image: none;
  height: 1px;
  width: 100%;
  border-bottom: 3px solid black;
}