+div[name="index"] a[href] {
+ text-decoration: none;
+}
+
+div[name="index"] a[href]:hover {
+ text-decoration: underline;
+}
+
+div[name="index"] a[href]:before {
+ content: '#\00a0';
+ color: #e00;
+ font-size: x-small;
+}
+
+div[name="index"] > ul {
+ width: 17em;
+ list-style: none;
+ margin-left: 0px;
+ margin-right: 0px;
+ padding-left: 0px;
+ padding-right: 0px;
+}
+
+div[name="index"] > ul > li {
+ margin-bottom: 0.5em;
+}
+
+div[name="index"] > ul ul {
+ width: 16em;
+ list-style: none;
+ margin-left: 0px;
+ margin-right: 0px;
+ padding-left: 0px;
+ padding-right: 0px;
+ margin-bottom: 0.5em;
+}
+
+div[name="index"] > ul > ul li {
+ display: inline;
+ margin-right: 1em;
+}
+
+/*
+div[name="index"] > ul > ul li:after {
+ color: #ccc;
+ content: '\2014';
+}
+*/
+