p             { line-height:   120%;    }
h1.banner     { margin-bottom: 0.2em;   }
acronym       { font-size:     smaller; }