From ef9f7f2c0e8d743f09e3374f2275d470aa5bc185 Mon Sep 17 00:00:00 2001 From: sforman Date: Fri, 18 Aug 2023 16:58:25 -0700 Subject: [PATCH] Minor CSS changes. --- docs/html/css/site.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/html/css/site.css b/docs/html/css/site.css index 8097fba..9b4c6b0 100644 --- a/docs/html/css/site.css +++ b/docs/html/css/site.css @@ -12,9 +12,12 @@ footer { text-align: center; } +code { + background: #eee; +} + pre { background: #eee; - font-size: large; margin-left: 2em; margin-right: 2em; margin-bottom: 1em;