# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1739573200 -3600
# Node ID a984f543ed924450384ce37c6a78cf22747e456e
# Parent  2213186e592825631d00563f3df107072e66aeeb
tuned UI;

diff -r 2213186e5928 -r a984f543ed92 src/Tools/Find_Facts/web/src/Searcher.elm
--- a/src/Tools/Find_Facts/web/src/Searcher.elm	Fri Feb 14 20:17:41 2025 +0100
+++ b/src/Tools/Find_Facts/web/src/Searcher.elm	Fri Feb 14 23:46:40 2025 +0100
@@ -277,7 +277,11 @@
 
 isabelle_icon_textfield s =
   TextFieldIcon.customIcon
-    Html.i [class "material-icons", Utils.isabelle_font, style "font-size" "larger"] [Html.text s]
+    Html.i [class "material-icons"] [Html.button
+      [style "padding" "0 0 0 0", style "border" "0", style "border-radius" "50%",
+       style "width" "1.35em", style "height" "1.35em", Utils.isabelle_font,
+       style "font-size" "larger"]
+      [Html.text s]]
 
 view_filter: Maybe String -> Dict String Int -> (Int, Filter) -> Html Msg
 view_filter search0 counts (i, filter) =
@@ -362,7 +366,7 @@
         [style "width" "100%", style "background-color" "white", style "margin-bottom" "16px"]
       |> TextField.setValue (Just model.search.any_filter)
       |> TextField.setOnInput Input_Any),
-      h3 [Typography.headline6] [text "Filters"]] ++ (
+      h3 [Typography.headline6] [text "Filters", span [Utils.isabelle_font] [text " (∩)"]]] ++ (
       Array.toIndexedList model.search.filters
       |> List.map view_filter1) ++
     [view_add_filter] ++ (