diff --git a/doc/about/index.html b/doc/about/index.html index 07e95bb054..ef2e4c52f5 100644 --- a/doc/about/index.html +++ b/doc/about/index.html @@ -2,12 +2,6 @@ - diff --git a/doc/community/index.html b/doc/community/index.html index 5d51d08b3e..80a64d4c1d 100644 --- a/doc/community/index.html +++ b/doc/community/index.html @@ -2,12 +2,6 @@ - diff --git a/doc/download/index.html b/doc/download/index.html index bb753fd450..c6031e6037 100644 --- a/doc/download/index.html +++ b/doc/download/index.html @@ -2,12 +2,6 @@ - diff --git a/doc/index.html b/doc/index.html index 29695106ca..cb98e4c77c 100644 --- a/doc/index.html +++ b/doc/index.html @@ -2,12 +2,6 @@ - diff --git a/doc/logos/index.html b/doc/logos/index.html index 62e308229a..92e749cf0e 100644 --- a/doc/logos/index.html +++ b/doc/logos/index.html @@ -2,12 +2,6 @@ - diff --git a/doc/pipe.css b/doc/pipe.css index d3e0d68010..744304e188 100644 --- a/doc/pipe.css +++ b/doc/pipe.css @@ -26,6 +26,11 @@ img { border: 0; } +ul { + margin: 0px; + padding: 0px; +} + @media all and (min-height: 650px) { #toc { position: fixed;