\ No newline at end of file
diff --git a/website/apps/frontend/templates/layout.php b/website/apps/frontend/templates/layout.php
index 0737c634d..7745ea948 100644
--- a/website/apps/frontend/templates/layout.php
+++ b/website/apps/frontend/templates/layout.php
@@ -36,7 +36,7 @@
diff --git a/website/web/css/manual.css b/website/web/css/manual.css
index ae4990e6a..cd8d57efd 100644
--- a/website/web/css/manual.css
+++ b/website/web/css/manual.css
@@ -199,4 +199,9 @@ ul.tree {
#toc-toggles a {
margin-left: 0.5em;
+}
+
+#right ul li
+{
+ list-style-type: none;
}
\ No newline at end of file