@charset "utf-8";
    h1 { color: #c24; }
    h2 { color: #c46; }
    h3 { color: #c57; font-size: 130%; font-weight: normal;  }

    dt { font-weight: 800; }
    
    .bgltt { background: #fff8e8; }
    .bglt { background: #f8f0e0; }

.head {
	font-family: verdana;
	font-size: 90%;
	border-bottom: gray 3px double;
	margin:   0 12pt 12pt 12pt;
}