body {max-width: 90ex; margin: auto; }

h1, h2, h3, h4, h5, h6 {font-family: sans-serif; break-after: avoid}

pre {margin-left: 5ex; color: blue; page-break-inside: avoid; overflow: clip;}

.figure  {width: 50%; margin: auto; border: thin black solid; padding: 1ex;
	  font-size: 80%; font-weight: bold; text-align: center; font-family: sans-serif}

img {width: 100%}

a {text-decoration: none}

code {color: blue; }

@media print {
    h1 {margin-top: 7cm}
    body {font-size: 10pt}
}