[gnome-user-docs] Use the <input></input> element

[Shaun McCance <shaunm src gnome org>]

commit c8f89c89189b3e5f1e76fc0ba39ad52602e2b330
Author: Gunnar Hjalmarsson <gunnarhj ubuntu com>
Date:   Wed Jul 1 16:21:51 2020 +0000

    Use the <input></input> element

 gnome-help/C/net-default-browser.page | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/gnome-help/C/net-default-browser.page b/gnome-help/C/net-default-browser.page
index 5047fd6c..4bf7c21b 100644
--- a/gnome-help/C/net-default-browser.page
+++ b/gnome-help/C/net-default-browser.page
@@ -39,7 +39,7 @@
   <steps>
     <item>
       <p>Open the <gui xref="shell-introduction#activities">Activities</gui> overview and
-      start typing <gui>Default Applications</gui>.</p>
+      start typing <input>Default Applications</input>.</p>
     </item>
     <item>
       <p>Click on <gui>Default Applications</gui> to open the panel.</p>