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

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

pre {margin-left: 10ex; color: blue}
code {color: blue}
strong {color: red}
.framed {width: 50%; float: right; border: thin black solid; font-size: 80%; padding: 1ex}

a {text-decoration: none}