.pagetoc {
  /* border: 3px ridge #ded593; */
  padding: 3px;
}
.pagetoc h1 {
  font-size: medium;
  font-variant: small-caps;
  margin: 0px;
}
.pagetoc p { 
  font-size: smaller;
  padding-left: 1ex;
  margin: 0px;
}
/* Local Variables: */
/* mode: css */
/* End: */