--- a/html/spec.css Sun Feb 28 21:42:00 2010 +0900
+++ b/html/spec.css Sun Feb 28 22:02:40 2010 +0900
@@ -116,6 +116,12 @@
white-space: nowrap;
background-color: #D9E6F8;
background-color: #F7F5D7;
+ background-color: #D0DAFD;
+}
+
+#event-definition tr:hover th,
+#event-definition tr:hover td {
+ background: #D0DAFD;
}
.event-definition td,
@@ -151,10 +157,12 @@
background-color: #FFC500;
}
+
.event-definition dd table {
- margin-bottom: -0.5em;
+ margin-bottom: -0.02em;
}
+
.event-definition a {
text-decoration: none
}
@@ -172,6 +180,25 @@
margin-top: 4px
}
+dt > p, dd > p {
+ margin-top: 0.5em;
+}
+
+
+/* style for context info event definition lists */
+
+.event-definition td > ul > li {
+ margin-left: -2.5em;
+ list-style: none;
+ border-bottom: 1px dashed #ccc;
+}
+
+.event-definition td > ul > li.last {
+ border-bottom: none;
+}
+
+
+
/* style for heading links */
a[id]:hover:after {