Merge pull request #10941 from dottorblaster/master

New padding-right for the docs' left navigation

docs/theme/mkdocs/css/docs.css

@@ -52,6 +52,7 @@
   margin-top: 20px;
  // text-indent: -16px;
   padding-left: 10px;
+  padding-right: 10px;
 }
 #leftnav .nav-tabs.nav ul li {
   margin-top: 5px;