From 621e48e3edd9fe91c9ff97d6df0e1a2e6362a409 Mon Sep 17 00:00:00 2001
From: Danil Alexeev <danil@alexeev.xyz>
Date: Wed, 30 Aug 2023 18:02:42 +0300
Subject: [PATCH] Use relative font size for `code` elements

---
 _static/css/custom.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_static/css/custom.css b/_static/css/custom.css
index 21988bfedb7..991d9738b5e 100644
--- a/_static/css/custom.css
+++ b/_static/css/custom.css
@@ -798,7 +798,7 @@ html.writer-html5 .rst-content .wy-table-responsive > table td > p code.literal
 code,
 .rst-content tt,
 .rst-content code {
-    font-size: 14px;
+    font-size: .875em;
     font-family: var(--monospace-font-family);
     background-color: var(--code-background-color);
     border: none;