body {font-size: 12pt;}
* {color: black;}
#tc h1 {margin-top: 0;}
#tc h2 {margin-bottom: 1em; border: none;}
#tc h4 {margin-bottom: 0.5em;}
h2 {border-top: 2pt solid gray; border-bottom: 1px dotted silver;
  page-break-after: avoid;}
ul {page-break-inside: avoid;}
.extra {background: transparent !important;}
div.extra, pre.extra, .example {font-size: 10pt; color: #333;}
ul.extra a {font-weight: bold;}
p.example {display: none;}
#runhead {display: none;}