From 0152ba87c807b0139ab964928b8a8b0ffc829b15 Mon Sep 17 00:00:00 2001
From: Delapouite <delapouite@gmail.com>
Date: Sat, 14 Mar 2020 15:16:52 +0100
Subject: [PATCH] doc: make <kbd> style more prominent

---
 doc_src/_static/custom.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc_src/_static/custom.css b/doc_src/_static/custom.css
index b631991e3..193568efe 100644
--- a/doc_src/_static/custom.css
+++ b/doc_src/_static/custom.css
@@ -1 +1,10 @@
 .sphinxsidebar ul.current > li.current { font-weight: bold }
+
+kbd {
+  background-color: #f9f9f9;
+  border: 1px solid #aaa;
+  border-radius: .2em;
+  box-shadow: 0.1em 0.1em 0.2em rgba(0,0,0,0.1);
+  color: #000;
+  padding: 0.1em 0.3em;
+}