From 2f731939bea9d8cce935dd1cfce4a5ba9d318ab7 Mon Sep 17 00:00:00 2001
From: Thomas Hunter II <me@thomashunter.name>
Date: Tue, 31 Jan 2023 08:12:53 -0800
Subject: [PATCH] Add margin to paragraph following code-block on phones
 (#1637)

---
 source/stylesheets/screen.css.scss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/source/stylesheets/screen.css.scss b/source/stylesheets/screen.css.scss
index 70e3527dfcf..0ce124e14da 100644
--- a/source/stylesheets/screen.css.scss
+++ b/source/stylesheets/screen.css.scss
@@ -609,6 +609,10 @@ html, body {
   %right-col + %left-col {
     margin-top: $main-padding;
   }
+
+  .highlight + p {
+    margin-top: 20px;
+  }
 }
 
 .highlight .c, .highlight .cm, .highlight .c1, .highlight .cs {