diff --git a/docs/manual/stylesheets/style.css b/docs/manual/stylesheets/style.css
index 8d07f6533..cf26c60c3 100644
--- a/docs/manual/stylesheets/style.css
+++ b/docs/manual/stylesheets/style.css
@@ -64,3 +64,9 @@ pre {
    background: #837A67; 
 }
 
+ul.inlinelist {
+   list-style-type: none;
+   margin-left: 0;
+   padding: 0;
+}
+