From cf2067f39198346df9d9013f8dc4c2534242d26b Mon Sep 17 00:00:00 2001 From: Antoine Marguerie Date: Sat, 14 Sep 2024 11:29:26 +0200 Subject: [PATCH] adjust style for pre in search dialog --- lib/rdoc/generator/template/rorvswild/css/rdoc.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/rdoc/generator/template/rorvswild/css/rdoc.css b/lib/rdoc/generator/template/rorvswild/css/rdoc.css index 227e73a649..2d8b407a9b 100644 --- a/lib/rdoc/generator/template/rorvswild/css/rdoc.css +++ b/lib/rdoc/generator/template/rorvswild/css/rdoc.css @@ -597,8 +597,8 @@ nav.contextual { } #search-results pre { - margin: 0.5em; - font-family: var(--font-mono); + font-size: 0.833rem; + margin: 0.5rem 0; } .hide { display: none !important; }