From 15c3c484b126c1589bb4ebdfa7574bbffd91bf33 Mon Sep 17 00:00:00 2001
From: djc <djc@users.noreply.github.com>
Date: Sat, 23 Jul 2022 10:23:56 +0000
Subject: [PATCH] deploy: 065d7c3520ec4311634359944166f561e071805b

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

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