div.body { max-width : 40em; margin : 0 auto; display : block; }
h1, h2, h3 { font-family : sans-serif;
             font-weight : bolder;  }
h1 { font-size : 172%; }
h2 { font-size : 144%; }
h3 { font-size : 120%; }

table { padding-left : 1.5em }
td, th { text-align : left; 
	 padding-left : 0.25em;
         padding-right : 0.25em; }

span.underline { text-decoration: underline; }
img.external { padding-left: 0.25em;
	       vertical-align: text-top; 
	       speak: none; }