@import url("https://fonts.googleapis.com/css2?family=Source+Sans+3:wght@400;500;600&display=swap");
@import url("https://fonts.googleapis.com/css2?family=IBM+Plex+Sans:wght@400;500;600&display=swap");

body {
  font-family: Palatino, Georgia, serif; 
  font-size: larger;
  line-height: 1.5;
  width: min(74ch, calc(100% - 3rem));
  font-size: large;
  margin: 0 auto;
}
.lstlisting{
font-family: Monaco, monospace;
  white-space: pre;
  text-align: left;
  line-height: 0.8;
}
.sf{
  font-family: "Source Sans 3", "IBM Plex Sans", system-ui, sans-serif;
  font-weight: 400;
  font-size: 0.90em;     
  letter-spacing: 0.01em;
  white-space: nowrap;   
}
.center img {
  width: 20cm;
}
.display{
  margin: 0;
  line-height: 0.8;
}
td table{
  margin: 0;
}
span.mop{
  font-family: "STIX Two Math", "Cambria Math", "Noto Sans Math", serif;
  font-weight: 400;
}