From ea458373726e7e3424617160aafcb3f7eacfd4e7 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 1 Nov 2020 14:29:03 -0800
Subject: Default CSS: avoid padding and color if monobackgroundcolor not
 given.

This makes the default more austere, while putting the padded,
colored code elements within easy reach.
---
 test/lhs-test.html | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'test/lhs-test.html')

diff --git a/test/lhs-test.html b/test/lhs-test.html
index 78bdb7238..888b38826 100644
--- a/test/lhs-test.html
+++ b/test/lhs-test.html
@@ -81,16 +81,12 @@
     }
     code {
       font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
-      background-color: #f0f0f0;
       font-size: 85%;
       margin: 0;
-      padding: .2em .4em;
     }
     pre {
       margin: 1.7em 0;
       line-height: 1.5em;
-      padding: 1em;
-      background-color: #f0f0f0;
       overflow: auto;
     }
     pre code {
-- 
cgit v1.2.3