@import url("print.css");

/* define a page */
@page {
   size: letter;  
}

@page{ 
   @bottom-left {
       margin: 10pt 0 10pt 0;
       border-top: .25pt solid #666;
	   content: "SimDiff User Manual";
       font-size: 9pt;
       color: #333;
   }
   @bottom-right { 
       margin: 10pt 0 10pt 0;
       border-top: .25pt solid #666;
       content: counter(page);
       font-size: 9pt;
   }
   @top-right {
   	   content:  string(doctitle);
   	   margin: 10pt 0 10pt 0;
   	   font-size: 9pt;
   	   color: #333;
   }
}

/* Formatting for some margings - different for German. See case 40598. */
table.right{
	margin-left: -195px !important;
	margin-right: 120px !important;
}

/* Color for (p. #) strings. Should be black for JP. See case 40056. */
a.xref:after {
  content: " (p. " target-counter(attr(href, url), page) ")";
  font-style: normal;
}
