div.pythprop {width: 32em; margin-left: auto; margin-right: auto; font-family: 'Courier', monospace; font-size: 13.5pt; background: #ffffff; padding-left: 1em; padding-right: 1em; padding-top: 1em; padding-bottom: 1em; margin-top: 1em; margin-bottom: 1em; border: 1px solid black} /* 52 */
div.pythprop p, div.pythprop div, div.pythprop h2, div.pythprop h3, div.pythprop h4 {font-family: 'Courier', monospace; font-size: 13.5pt}
div.pythprop p {text-indent: 4.9em; margin-top: 0; margin-bottom: 0}
div.pythprop h2 {text-align: center; font-weight: bold; margin-top: 1em; margin-bottom: 2em; text-transform: uppercase} /* Do we need to scale the top and bottom margins by a scale of 32/52? */
div.pythprop h3 {text-align: center; font-weight: bold; margin-top: 1em; margin-bottom: 1em; text-decoration: underline}
div.pythprop h4 {text-align: left; font-weight: normal; font-style: italic; margin-top: 1em; margin-bottom: 0}

div.booknav {text-align: center}
div.booknav img {vertical-align: top}