body  { color: black; background: white; 
        margin-left: 10%; margin-right: 10%;
      }
h1    { color: black; margin-left: -8%;}
h2    { color: blue; margin-left: -8%;}
h3    { color: blue; margin-left: -4%; }
.full { margin-left: -8%; margin-right: -8%; }
dt    { padding-bottom: 1ex; }
dd    { padding-bottom: 1ex; }
ul    { padding-bottom: 1ex; }
.device { color: navy; font-weidht: normal; }