diff --git a/rustfmt.toml b/rustfmt.toml
index 86f7c7af..110964a9 100644
--- a/rustfmt.toml
+++ b/rustfmt.toml
@@ -1,3 +1,3 @@
 use_small_heuristics = "max"
-fn_args_layout = "compressed"
+fn_params_layout = "compressed"
 max_width = 2147483647
diff --git a/web-app/src/components/proof_widget/mod.rs b/web-app/src/components/proof_widget/mod.rs
index 075ac3ac..7029ad1d 100644
--- a/web-app/src/components/proof_widget/mod.rs
+++ b/web-app/src/components/proof_widget/mod.rs
@@ -172,7 +172,7 @@ impl ProofWidget {
                     .rules()
                     .map(|rule| {
                         let pjref = Coproduct::inject(jref);
-                        
+
                         // Determine the folder for the current theme
                         let get_folder = || {
                             if theme() == "dark" {
@@ -182,12 +182,12 @@ impl ProofWidget {
                             }
                         };
                         let image_src = format!("{}/{}.png", get_folder(), rule.get_name());
-    
+
                         html! {
                             <div class="dropdown-item-wrapper" style="position: relative;">
-                                <button 
-                                    class="dropdown-item" 
-                                    type="button" 
+                                <button
+                                    class="dropdown-item"
+                                    type="button"
                                     onclick={ ctx.link().callback(move |_| ProofWidgetMsg::LineAction(LineActionKind::SetRule { rule }, pjref)) }
                                     onmouseover={ctx.link().callback(move |_| {
                                         let js = format!(
@@ -212,10 +212,10 @@ impl ProofWidget {
                                 >
                                     { rule.get_name() }
                                 </button>
-                                <img 
-                                    id={format!("tooltip-img-{}", rule.get_name())} 
-                                    src={image_src} 
-                                    alt={rule.get_name()} 
+                                <img
+                                    id={format!("tooltip-img-{}", rule.get_name())}
+                                    src={image_src}
+                                    alt={rule.get_name()}
                                     style="
                                         display: none; 
                                         position: absolute; 
@@ -233,9 +233,9 @@ impl ProofWidget {
                         }
                     })
                     .collect::<Vec<yew::virtual_dom::VNode>>();
-    
+
                 let rules = yew::virtual_dom::VList::with_children(rules, None);
-    
+
                 html! {
                     <div class="dropdown dropright dropdown-submenu">
                         <button class="dropdown-item dropdown-toggle" type="button" data-toggle="dropdown"> { rule_class } </button>
@@ -245,7 +245,7 @@ impl ProofWidget {
             })
             .collect::<Vec<yew::virtual_dom::VNode>>();
         let menu = yew::virtual_dom::VList::with_children(menu, None);
-    
+
         html! {
             <div class="dropright">
                 <button class="btn btn-primary dropdown-toggle" type="button" data-toggle="dropdown" data-submenu="">