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

h1, h2, h3, h4, h5, h6 {font-family: sans-serif}

pre {margin-left: 10ex; color: blue}

.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}