#graphic1 img {
  max-width:50%;
}
#graphic2 img {
    max-width:80%;
}
#graphic5 img {
  max-width:70%;
}
pre {
  font-size:.7rem;
  white-space:pre-wrap;
  background-color:rgb( var(--yellow-rgb), .1);
  }
#preformat17 {
  line-height:1.2em;
  break-inside:auto;
}
div > code {
  font-size:.7em;
}
div > pre {
  display:block !important;
}
code + .p {
  text-indent:0;
}