+ border-top: thin solid;
+ padding-top: 1ex;
+ margin-top: 3.43ex;
+ text-align: right;
+ font-size: small;
+ font-style: italic;
+}
+
+div.warn {
+ border: thin solid;
+ padding: 0ex 1em 2ex 1em;
+ margin: 2ex 1em;
+ background: red;
+}
+
+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;