*** empty log message ***
diff --git a/platform/org.eclipse.platform/book.css b/platform/org.eclipse.platform/book.css
index 3fb6638..21a4d7c 100644
--- a/platform/org.eclipse.platform/book.css
+++ b/platform/org.eclipse.platform/book.css
@@ -61,6 +61,10 @@
text-transform: none;
font-family: "Courier New", Courier, monospace;
}
+UL.NavList {
+ margin-left: 1.5em;
+ list-style-type: none;
+}
body, html { border: 0px }
diff --git a/platform/org.eclipse.sdk/book.css b/platform/org.eclipse.sdk/book.css
index beda434..6543e51 100644
--- a/platform/org.eclipse.sdk/book.css
+++ b/platform/org.eclipse.sdk/book.css
@@ -61,6 +61,10 @@
text-transform: none;
font-family: "Courier New", Courier, monospace;
}
+UL.NavList {
+ margin-left: 1.5em;
+ list-style-type: none;
+}
body, html { border: 0px }
