From 938d062763102f199e0e87f92217103005f6c957 Mon Sep 17 00:00:00 2001 From: Philip Sargent Date: Thu, 30 Jan 2025 20:55:11 +0000 Subject: [PATCH] making trog3.css and main2.css similar --- css/main2.css | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/css/main2.css b/css/main2.css index fe2f13f4c..6d3abb79a 100644 --- a/css/main2.css +++ b/css/main2.css @@ -522,11 +522,12 @@ ul.errorlist { color: red } -/* added 2020-04-24 by Philip Sargent */ -var { # to match but inline when documenting systems +/* added 2020-04-24 by Philip Sargent +to match but inline when documenting systems*/ +var { font-family: monospace; font-size: 0.9em; - #font-style: normal; + font-style: normal; background-color: #eee; } /* added 2020-04-24 by Philip Sargent */