From b039a39e4d83bd0409abf873ac21f17ba754f81c Mon Sep 17 00:00:00 2001 From: Peter Knut Date: Tue, 1 Oct 2024 09:07:21 +0200 Subject: [PATCH] Bigger font size for code blocks --- adminer/static/default.css | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/adminer/static/default.css b/adminer/static/default.css index 8f751ac6..ef54dee0 100644 --- a/adminer/static/default.css +++ b/adminer/static/default.css @@ -19,10 +19,11 @@ fieldset { display: inline; vertical-align: top; padding: .5em .8em; margin: .8e p { margin: .8em 20px 0 0; } img { vertical-align: middle; border: 0; } td img { max-width: 200px; max-height: 200px; } -code { background: #eee; } tbody tr:hover td, tbody tr:hover th { background: #eee; } +code { font-size: 110%; padding: 1px 2px; background: #eee; } pre { margin: 1em 0 0; } -pre, textarea { font: 100%/1.25 monospace; } +pre code { display: block; font-size: 100%; } +pre, textarea { font: 110%/1.25 monospace; } pre.jush { background: #fff; } input, select { vertical-align: middle; } input.default { box-shadow: 1px 1px 1px #777; }