html: standardize font sizes and heading tags.

Standardize font sizes and heading tags (<h1>-<h6>) to be more
consistent across the site.

Changes:

* Introduce font size CSS variables and start replacing hardcoded font
  sizes with standard sizes.
* Change header tags to use only one <h1> per page. One <h1> per page is
  recommended for SEO purposes. Usually this is for the page title, like
  in forum threads or wiki pages.
* Standardize on <h2> for section headers in sidebars and <h3> for
  smaller subsection headers. Don't use <h4>-<h6>.
* In DText, make h1-h4 headers all the same size. Standard wiki style is
  to ignore h1-h3 and start at h4.
* In DText, make h4-h6 the same size as the h1-h3 tags outside of DText.
* In the tag list, change the <h1> and <h2> tag category headers to <h3>.
* Make usernames in comments and forum posts smaller. Also change the
  <h4> tag for the commenter name to <div class="author-name">.
* Make the tag list, paginator, and nav menu smaller on mobile.
* Change h1#app-name-header to a#app-name-header.

app/javascript/src/styles/specific/pools.scss

@@ -27,17 +27,9 @@ div#add-to-pool-dialog {
     margin-left: 1em;
     cursor: pointer;
   }
-
-  h1 {
-    font-size: $h3_size;
-  }
 }
 
 div#c-pools {
-  h1 {
-    font-size: $h2_size;
-  }
-
   textarea {
     height: 10em;
   }
@@ -50,10 +42,6 @@ div#c-pools {
 }
 
 div#c-pool-orders, div#c-favorite-group-orders {
-  h1 {
-    font-size: $h2_size;
-  }
-
   div#a-edit {
     ul.ui-sortable {
       list-style-type: none;

app/javascript/src/styles/specific/posts.scss

@@ -274,10 +274,6 @@ div#c-posts {
     &.post-notice-search { background: var(--post-search-notice-background); }
   }
 
-  aside#sidebar #tag-list h2 {
-    font-size: $h4_size;
-  }
-
   aside#sidebar > section > ul {
     margin-bottom: 1em;
 
@@ -308,7 +304,7 @@ div#c-posts {
   div#a-index {
     menu#post-sections {
       margin-bottom: 0.5em;
-      font-size: $h3_size;
+      font-size: var(--text-lg);
 
       li {
         padding: 0 1em 0.5em 0;
@@ -331,7 +327,7 @@ div#c-posts {
 
     menu#post-sections {
       margin: 0;
-      font-size: $h3_size;
+      font-size: var(--text-lg);
 
       li {
         padding: 0 1em 0 0;

app/javascript/src/styles/specific/site_map.scss

@@ -7,10 +7,6 @@ div#c-static {
     section {
       flex: 1;
 
-      h1 {
-        font-size: $h3_size;
-      }
-
       ul {
         margin-bottom: 1.5em;
       }

app/javascript/src/styles/specific/z_responsive.scss

@@ -4,20 +4,12 @@
   div#page {
     margin: 0 0.5rem;
     padding: 0;
-
-    aside#sidebar {
-      font-size: $h3_size;
-    }
   }
 
   header#top {
     position: relative;
     text-align: center;
 
-    h1#app-name-header {
-      display: inline;
-    }
-
     #maintoggle {
       display: block;
       font-weight: bold;
@@ -28,7 +20,6 @@
     }
 
     nav#nav {
-      font-size: $h3_size;
       line-height: 2em;
       display: none;
 
@@ -53,7 +44,7 @@
   }
 
   div.paginator {
-    font-size: $h2_size;
+    font-size: var(--text-lg);
     padding: 1em 0 0;
 
     li {