h1{ margin-bottom:1.5em; color:#000099;}

h1.{ margin-top:2em; color:#000099; }

h1.chapter{ font-size: 1.5em; margin-top:2em; color:#000099; }

h2,h3 { font-size: 1.17em; margin-top:2em; color:#000099;  }

h4 { margin-top:2em;}

div.example {border: 1px solid #000099;padding:0px 12px 12px 12px;margin-bottom:24px;background:#fff;}

body {font-family:Arial, sans-serif; font-size:1em;background:#f3f3f3;}

H5.western { font-size: 12pt; font-style: italic }

pre {width:860px; height:360px; overflow:auto; border:1px solid #cccccc;}

p.c5 {font-weight: normal}

div.c4 {background: #ffff00}

span.c3 {font-style: normal}

span.c2 {font-weight: normal}

pre.c1 {display:none}