From 779e721cda78999462862d76ccdee388ed2c02df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matija=20Marohni=C4=87?= <matija.marohnic@gmail.com>
Date: Mon, 17 Feb 2020 21:27:39 +0100
Subject: [PATCH] Fix problem caused by two .highlight elements (#1421)

For some reason the highlighter output:

<div class="highlight">
  <pre class="highlight">
    <!-- ... -->
  </pre>
</div>

which causes all styles with the selector `.highlight` to be applied on
both. Most of them don't have a visible impact, except the one which
adds a pseudo-element. This is now fixed by specifying the element.
---
 public/css/playground.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/css/playground.css b/public/css/playground.css
index 7632561b6..fb313aa19 100644
--- a/public/css/playground.css
+++ b/public/css/playground.css
@@ -352,7 +352,7 @@ small code,li code,p code {
     text-align: right;
 }
 
-.highlight:after {
+div.highlight:after {
     position: absolute;
     top: 0;
     right: 0;