Rustdoc: Add padding on <code>

… to separate text from the edge of the newly added background.
rust-lang · Aug 6, 2014 · 3b41f32 · 3b41f32
1 parent 7f38806
commit 3b41f32
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;