body 
{ /*pm: out:  font-size: 120%;   line-height: 1.3;  font-weight: 200; margin: 0; 
              font-family: "Helvetica Neue", "Gill Sans", "Verdana", "Helvetica", "sans serif" */
}

#global { width: 90%; /*pm: was 60% */  margin: auto }

h2 {  /*font-size: 1.2em;*/  /*pm: out: font-size: 2em */ }
h3 { /*pm: out:  font-size: 1em; */ }

a { color: #444;  text-decoration: none }
a:hover { color: #bc0015 }

code { /*font-size: 1.5em;*/ color: rgb(187,80,46) }