--- a/html/spec.css	Thu Dec 09 01:54:51 2010 +0900
+++ b/html/spec.css	Thu Dec 09 01:55:53 2010 +0900
@@ -300,13 +300,13 @@
 }
 
 
-/*style for table-event-summary */
-#table-event-summary  {
+/*style for table-event-summary and table-key-values */
+#table-event-summary, #table-key-values {
   border-collapse:collapse;
   text-align:left;
 }
 
-#table-event-summary th {
+#table-event-summary th, #table-key-values th {
   background:none repeat scroll 0 0 #B9C9FE;
   border-bottom:1px solid #FFFFFF;
   border-top:4px solid #AABCFE;
@@ -316,7 +316,7 @@
   padding-left: 0.5em;
 }
 
-#table-event-summary td {
+#table-event-summary td, #table-key-values td {
   background:none repeat scroll 0 0 #E8EDFF;
   border-bottom:1px solid #FFFFFF;
   border-top:1px solid transparent;
@@ -325,57 +325,21 @@
   padding-left: 1em;
 }
 
-#table-event-summary tr:hover td {
+#table-event-summary tr:hover td, #table-key-values tr:hover td {
   background:none repeat scroll 0 0 #D0DAFD;
   color:#333399;
 }
 
 
-
-/*style for keyValues keyCode charCode table*/
-table#tbl-keyValues-keyCode-charCode  { border: 1px solid black;  border-spacing: 0px; padding: 2px; font-size: smaller;}
-#tbl-keyValues-keyCode-charCode td { border: 1px solid #d3d3d3 }
-#tbl-keyValues-keyCode-charCode th { border: 1px solid black }
-
-#tbl-keyValues-keyCode-charCode th { text-align: center; font-weight: bold }
-
-#tbl-keyValues-keyCode-charCode th { vertical-align: middle; font-size: 0.85em; }
-#tbl-keyValues-keyCode-charCode td { vertical-align: middle; text-align: center;  }
-
-.smallRow1 th { 
-  font-size: 0.75em;
-  display:block; 
-  width:1.5em; 
-  height:1.5em; 
-  height:auto;
+/*style for algorithm lists */
+ol.algo { 
+  counter-reset: section;
+  list-style-type: none;
 }
 
-.verticalCell1 { 
-  display:block; 
-  width:1.5em; 
-  height:1.5em; 
-  height:auto;
-}
-
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td
-{
-  border-left: 1px solid black;
+ol.algo li { 
+  counter-increment: section;
+  margin-top: 0.5em;  
 }
-
-
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td + td + td + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td,
-#tbl-keyValues-keyCode-charCode td:first-child + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td + td
-{
-  border-left: 1px solid gray;
-}
-
-
+ol.algo li:before { content: counters(section, ".") ". "; }
+ol.algo li ol.algo li { margin-left: -1em; }