lead is better than h3

www/index.html

@@ -58,7 +58,7 @@
   <div class="container" id="autodoc_tab">
     <!-- Home -->
     <div class="container d-none" id="autodoc_tab_home">
-      <h3>Current Documents</h3>
+      <span class="lead">Current Documents</span>
       <!-- template -->
       <div class="d-none" id="autodoc_template_home">
         <div class="row autodoc_template_home_row"></div>
@@ -205,7 +205,7 @@
           <div class="progress-bar progress-bar-striped progress-bar-animated text-dark"></div>
         </div>
       </div>
-      <h3>upload</h3>
+      <span class="lead">upload</span>
       <div class="row">
         <div class="col">
 
@@ -232,7 +232,7 @@
 
   <!-- Tags -->
   <div class="container d-none" id="autodoc_tab_tags">
-    <h3>Manage Tags</h3>
+    <span class="lead">Manage Tags</span>
     <div class="row">
       <div class="col-6">
         <table class="table table-borderless">
@@ -342,7 +342,7 @@
 
   <!-- Search -->
   <div class="container d-none" id="autodoc_tab_search">
-    <h3>search</h3>
+    <span class="lead">search</span>
   </div>
   </div>