/*

Marge styles used by our pages.

*/

BODY {
/* 2010oct26, phj: Changed margin from "10%" to "0 10%" cause the top margin
was too much. */

/* 2011dec05, phj: Need a bottom margin, so changed "margin: 0 10%;" to 0 10%
5% 10%; */
  margin: 0 10% 5% 10%; /* makes pages easier to read. */
}