Tag: tree pruning

{"hide_search_input":"","hide_near_input":"","input_size":"","bar_flex_wrap":"","bar_flex_wrap_md":"","bar_flex_wrap_lg":"","input_border":"","input_border_opacity":"","input_rounded_size":"","btn_bg":"","btn_rounded_size":"","btn_rounded_size_md":"","btn_rounded_size_lg":"","bg":"","mt":"","mr":"","mb":"3","ml":"","pt":"","pr":"","pb":"","pl":"","border":"","rounded":"","rounded_size":"","rounded_size_md":"","rounded_size_lg":"","shadow":"","css_class":""}