From 7f388068b9c945a447328b42d6c14ac25c35d2c0 Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Wed, 6 Aug 2014 11:03:18 +0100
Subject: [PATCH 1/2] Rustdoc: Highlight <code> elements (from Markdown
 `backticks`)

---
 src/librustdoc/html/static/main.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/librustdoc/html/static/main.css b/src/librustdoc/html/static/main.css
index 64a0665d4008b..60932c9086d82 100644
--- a/src/librustdoc/html/static/main.css
+++ b/src/librustdoc/html/static/main.css
@@ -120,6 +120,10 @@ code, pre {
     font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", Inconsolata, monospace;
     white-space: pre-wrap;
 }
+.docblock code {
+    background-color: #F5F5F5;
+    border-radius: 3px;
+}
 pre {
     background-color: #F5F5F5;
     padding: 14px;

From 3b41f3256228ffb01225eab671ef301aa18337d7 Mon Sep 17 00:00:00 2001
From: Simon Sapin <simon.sapin@exyr.org>
Date: Wed, 6 Aug 2014 11:07:35 +0100
Subject: [PATCH 2/2] Rustdoc: Add padding on <code>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

… to separate text from the edge of the newly added background.
---
 src/librustdoc/html/static/main.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/librustdoc/html/static/main.css b/src/librustdoc/html/static/main.css
index 60932c9086d82..f579123fc462b 100644
--- 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;