body        { width: 33em; }

.pb         { /* display: none; */
 color: gray; 
 background: white;
 font-size: 80% ;
}
.ttoc, .ptoc {
    font-size: 100%;
}

div.TEIHEADER {
 display: block;
 /* width: 33em; */
 padding: 8px; /* line-height: 1.33; */
 color: black; 
 background: lightgray;
 border: solid;
  /* border-width: medium; */
  border-color: black;
}

