/* body, p, li {
  font-size: 0.9em;	
 
} */
p { 
  color: rgb(18,18,18);
  margin-top: 0.6em;
}
ul.schema-toc-menu li {
  font-size: 1em;	
 
}

th {
  --bs-table-bg: #3A4651;
}