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 */