/*  style-print.css
 */

html, body {
  background: white;
  color:      black;
  }

h1, h2, h3 {
  font-family:      sans-serif;
  padding-left:     0.5in;
  page-break-after: avoid;
  }

h2 { font-size: 1.5em; }
h2 img {height: 1.4em; }
h3 { font-size: 1.17em; }
h3 img {height: 1.10em; }

/* Buttons generated by Javascript */
button {
  display:          none;
  background-color: transparent;
  color:            black;
  border:           none;
  padding:          0;
  margin:           0;
  }

p {
  text-align: justify;
  }

#header, #content {
  font-family:  serif;
  font-size:    10pt;
  }

#navList {
  display: none;
  }

.links {
  display: none;
  }

.center {
  text-align: center;
  }

.answer {
  display: block;
  color: green;
  background: white;
  }

.whitebox {
  border:   none;
  width:    6.5in;
  margin:   auto;
  page-break-inside: avoid;
  padding:  0 0.25in 0 0.25in;
  }

/* Make font size for codeBlocks give 80 chars in 6.5"
 *
 *    We have 468 points (39 picas) to work with.
 *    But how wide is a character?
 *
 *      For uniformly spaced fonts, the font width
 *      calculation is 1440 divided by the pitch. Pitch
 *      is the number of characters that can fit in 1
 *      horizontal inch. ... For mixed-pitch character
 *      sets, the width calculation is the width of the
 *      12-pitch space character (that is, 1440 divided
 *      by 12).
 *      http://publib.boulder.ibm.com/infocenter/printer/v1r1/
 *      index.jsp?topic=/com.ibm.printers.printerinformation/
 *      ic5g2mst248.htm
 *
 *  So I figure 80 characters in 6.5" is 12.3 characters per inch.
 *  And there are 72 points in an inch.  So 72/12.3 is a point size
 *  of something less than 6.
 *
 *  Setting the point size here to 10 causes ie and ff both to print
 *  80 chars in about 6.7"
 *
 *  So 9 seems like a nice number, don't you think?
 *  ccv 2005-10-14
 */
.codeBlock {
  font-size: 9pt;
  }

.notforprint {
  display:  none;
  }