From 9180122b48374dc585eaa0e7e8a59ad75ffa4e40 Mon Sep 17 00:00:00 2001 From: Rokas Puzonas Date: Sat, 26 Aug 2023 14:36:13 +0300 Subject: update format of function_usages.json --- common/examples.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'common/examples.css') diff --git a/common/examples.css b/common/examples.css index fd41d6f..65ba8ad 100644 --- a/common/examples.css +++ b/common/examples.css @@ -4,7 +4,8 @@ #filter_menu { width:820px; height:80px; margin-left:15px; } #filter_function_label { margin-top: 2rem; } -#filter_function { display: block; margin-left:15px; margin-bottom: 2rem; } +#filter_function { display: block; height: 1rem; margin-left:15px; margin-bottom: 2rem; } +#matches_counter { display: inline; margin-bottom: 2rem; } .legendButton { float:left; margin-right:8px; margin-bottom:20px; width:84px; height:78px; text-align:right; line-height:130px; cursor: pointer; transition: 0.125s; } #core { background-color:#e1e1e1; color:#5c5a5a; border:5px solid #898888; } -- cgit v1.2.3