color: #880000;
}
-SPAN.eventHandler {
+DIV.styleDesc, DIV.eventDesc {
+ margin-left: 3%;
+ margin-bottom: 1ex;
+}
+
+DIV.eventHandler {
+ text-indent: 3%;
+}
+
+DIV.eventHandler SPAN {
padding: 5px;
background-color: #eeeeee;
font-family: monospace, fixed;
font-weight: normal;
}
+LI {
+ line-height: 115%;
+}
+
+DIV.tags LI {
+ line-height: 100%;
+}
+