Standardize right sidebars

(except websocket tool; too many legacy styles to undo just yet)
consistent header, left spacing

tool/template-doc.html

@@ -30,8 +30,10 @@
 
 {% block right_sidebar %}
   <div class="card" id="page-toc-wrapper">
-    <p class="in-this-doc card-header">In this document</p>
-    <ul class="dev_nav_sidebar card-body" id="dactyl_toc_sidebar">
+    <div class="card-header">
+      <h4>In this document</h4>
+    </div>
+    <ul class="card-body">
       {{ sidebar_content }}
     </ul>
   </div>