diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css
index bea63507f21c928d52873582721b0ff4b6b33d23..f1963eafb6d94e6b38898528d2af8f34e7c7a83c 100644
--- a/html/Ocean.std-theme/ocean.css
+++ b/html/Ocean.std-theme/ocean.css
@@ -298,7 +298,7 @@ div#style-menu-holder {
 
 #table-of-contents ul {
   list-style: none;
-  margin-left: 0;
+  margin: 0;
 }
 
 #table-of-contents ul ul {