Rustdoc: Add padding on <code>

… to separate text from the edge of the newly added background.

Author: SimonSapin

src/librustdoc/html/static/main.css

@@ -123,6 +123,7 @@ code, pre {
 .docblock code {
     background-color: #F5F5F5;
     border-radius: 3px;
+    padding: 0 0.2em;
 }
 pre {
     background-color: #F5F5F5;