Rustdoc: Add padding on <code>

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

diff --git a/src/librustdoc/html/static/main.css b/src/librustdoc/html/static/main.css
index 60932c9086d82ca43aeba2c6dd499a49695a7eaf..f579123fc462b8e913bdb6e5edbe2e9a34b08a02 100644 (file)
--- a/src/librustdoc/html/static/main.css
+++ b/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;