From fb27da07fcfbbe129c7177ff756ce29d7f2948c6 Mon Sep 17 00:00:00 2001
From: James <50501825+Gobot1234@users.noreply.github.com>
Date: Sat, 27 Jun 2020 12:33:51 +0100
Subject: [PATCH] Add border radius and padding to inline code

---
 docs/_static/style.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/_static/style.css b/docs/_static/style.css
index f77572f37..06a72904f 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -742,6 +742,8 @@ pre, code {
 
 code {
   background-color: var(--inline-code-background);
+  padding: .15em;
+  border-radius: 3px;
 }
 
 code.descname {