Adjust styles, so that navigation does not hide text.

1 files changed, 1 insertions, 0 deletions

diff --git a/docs.css b/docs.css
index 7a76f85aeb..0592f5ad1a 100644
--- a/docs.css
+++ b/docs.css
@@ -42,6 +42,7 @@ img {
 #body {
 	margin: 2em 1em 1em 1em;
 	padding: 0px;
+    padding-right: 13em;
 }
 
 ul#footer {