+a { text-decoration: none; }
+a:link { color: blue; }
+a:link:active, a:visited { color: darkblue; }
+a:link:hover, a:visited:hover { background: #ccc; }
+
+dl { display: block; }
+dt {
+ font-weight: bold;
+ width: 9em;
+ clear: left;
+ float: left;
+}
+dd {
+ margin: 1.5ex 0 1.5ex 10em;
+ display: block;
+}
+