From 6a4ba95926cc897935c7474d839bf9121a5b8f7c Mon Sep 17 00:00:00 2001
From: Steven Engler <opara@cs.georgetown.edu>
Date: Tue, 12 Jul 2022 13:30:57 -0400
Subject: [PATCH] Fixed code padding in headings

---
 src/theme/css/chrome.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theme/css/chrome.css b/src/theme/css/chrome.css
index 53a54c85..10fa4b36 100644
--- a/src/theme/css/chrome.css
+++ b/src/theme/css/chrome.css
@@ -252,7 +252,7 @@ pre > .buttons button {
         padding: 0.3rem 1rem;
     }
 }
-code {
+pre > code {
     padding: 1rem;
 }