body	{ background=rgb(228,228,228);
          lang=en;}
dt	{ font-weight: bold;
      margin-top: 1em; }