body { 
  margin-left: 1ex; 
  margin-right: 1ex; 
  margin-top: 1ex; 
  line-height: 115%;
}