/* body{max-width:50em;margin:auto;padding:1em;line-height:160%}
pre{overflow-x:auto; line-height:120%}
h1, h2, h3 {font-weight:normal;line-height:130%;color: maroon;} */

* { font-family: sans-serif;line-height:150%;}
h1 { font-size: 1.5em; font-weight: bold; }
h2 { font-size: 1.3em; font-weight: bold:}
p { font-size: 1em; }
code, pre { font-family: monospace; }
body { margin-left: 120px; width: 700px; }  
img {border: 1px solid black}
table {border-collapse: collapse;border: 1px solid black;}
td, th {border: 1px solid black;padding: 10px 10px;}
li {margin-bottom: 0.5em;}