Tweak margin of documentation examples to match other changes

Author: doxygen

doc/doxygen_manual.css

@@ -90,7 +90,7 @@ div.headertitle .title
 
 div.contents {
   padding-left: 12px;
-  padding-right: 8px;
+  padding-right: 12px;
 }
 
 @media(min-width: 1120px) {