From 849c8af75b5fb7ba5de90a03496f25bbc6d9002d Mon Sep 17 00:00:00 2001
From: richvdh <richvdh@users.noreply.github.com>
Date: Tue, 5 Apr 2022 16:22:32 +0000
Subject: deploy: 163fd686b5db10eab2c70855dedef23204c6f18c

---
 develop/css/general.css | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'develop/css/general.css')

diff --git a/develop/css/general.css b/develop/css/general.css
index 2cf347f923..ef2ba50489 100644
--- a/develop/css/general.css
+++ b/develop/css/general.css
@@ -12,6 +12,7 @@ html {
     color: var(--fg);
     background-color: var(--bg);
     text-size-adjust: none;
+    -webkit-text-size-adjust: none;
 }
 
 body {
@@ -175,3 +176,7 @@ blockquote {
     margin: 5px 0px;
     font-weight: bold;
 }
+
+.result-no-output {
+    font-style: italic;
+}
-- 
cgit 1.5.1