From c8cb245f24caa8c38ae4d6241010690d0b534b02 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=86=B7=E7=9F=B3=20Boy?= Date: Fri, 31 Jul 2020 00:17:57 +0800 Subject: [PATCH] Add padding around flutter api docs search input (#44980) --- dev/docs/assets/overrides.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev/docs/assets/overrides.css b/dev/docs/assets/overrides.css index 74b249f526a..26ad632d53f 100644 --- a/dev/docs/assets/overrides.css +++ b/dev/docs/assets/overrides.css @@ -107,7 +107,7 @@ code { background-image: none; border: 1px solid #ccc; border-radius: 2px; - padding: 4px 6px; + padding: 14px 6px; font-size: 15px; }