From a18589deded960a0280e43d9f6c8f7f037eec9e3 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Thu, 27 Feb 2020 16:27:15 -0800
Subject: [PATCH] webapps.help: just include the original css instead of
 duplicating.

---
 extra/webapps/help/search.xml | 48 ++++-------------------------------
 1 file changed, 5 insertions(+), 43 deletions(-)
diff --git a/extra/webapps/help/search.xml b/extra/webapps/help/search.xml
index c168052c86..854d83c358 100644
--- a/extra/webapps/help/search.xml
+++ b/extra/webapps/help/search.xml
@@ -6,51 +6,12 @@
     <head>
 
         <t:base t:href="$help-webapp/content/" />
+
         <title>Search - Factor Documentation</title>
+
+        <t:style t:include="resource:basis/help/html/stylesheet.css" />
+
         <style>
-            html {
-                box-sizing: border-box;
-            }
-
-            *, *:before, *:after {
-                box-sizing: inherit;
-            }
-
-            body {
-                margin: 0;
-                font-family: sans-serif;
-                font-size: 12pt;
-                line-height: 140%;
-            }
-
-            a { color: #104e8b; }
-            a:link, a:visited, a:active { text-decoration: none; }
-            a:hover { text-decoration: underline; }
-
-            input {
-                border: 1px solid #999999;
-                font-size: smaller;
-                border-radius: 3px;
-            }
-
-            #container {
-                max-width: 800px;
-            }
-
-            .navbar {
-                margin: 0;
-                padding: 15px;
-                border-bottom: 1px solid #ccc;
-            }
-
-            .navbar a {
-                margin-right: 10px;
-            }
-
-            .page {
-                margin: 15px;
-            }
-
             h2 {
                 padding: 10px;
                 background-color: #f5f5f5;
@@ -67,6 +28,7 @@
     </head>
 
     <body>
+
     <div id="container">
 		<t:html t:name="navbar"/>
 
