update header font weight

src/css/doc.css

@@ -25,12 +25,35 @@
 .doc h5,
 .doc h6 {
   color: var(--heading-font-color);
-  font-weight: var(--heading-font-weight);
   hyphens: none;
   line-height: 1.3;
   margin: 1rem 0 0;
 }
 
+.doc h1 {
+  font-weight: var(--h1-font-weight);
+}
+
+.doc h2 {
+  font-weight: var(--h2-font-weight);
+}
+
+.doc h3 {
+  font-weight: var(--h3-font-weight);
+}
+
+.doc h4 {
+  font-weight: var(--h4-font-weight);
+}
+
+.doc h5 {
+  font-weight: var(--h5-font-weight);
+}
+
+.doc h6 {
+  font-weight: var(--h6-font-weight);
+}
+
 .doc > h1.page:first-child {
   font-size: calc(36 / var(--rem-base) * 1rem);
   margin: 1.5rem 0;
@@ -1003,7 +1026,8 @@
   background: var(--kbd-background);
   border: 1px solid var(--kbd-border-color);
   border-radius: 0.25em;
-  box-shadow: 0 1px 0 var(--kbd-border-color), 0 0 0 0.1em var(--body-background) inset;
+  box-shadow: 0 1px 0 var(--kbd-border-color),
+    0 0 0 0.1em var(--body-background) inset;
   padding: 0.25em 0.5em;
   vertical-align: text-bottom;
   white-space: nowrap; /* effectively ignores hyphens setting */

src/css/header.css

@@ -39,6 +39,7 @@ body {
   font-size: calc(22 / var(--rem-base) * 1rem);
   flex-wrap: wrap;
   line-height: 1;
+  font-weight: 600;
 }
 
 .navbar-brand .navbar-item:first-child a {
@@ -104,7 +105,8 @@ body {
 }
 
 .navbar-burger:not(.is-active) span {
-  transition: transform ease-out 0.25s, opacity 0s 0.25s, margin-top ease-out 0.25s 0.25s;
+  transition: transform ease-out 0.25s, opacity 0s 0.25s,
+    margin-top ease-out 0.25s 0.25s;
 }
 
 .navbar-burger span + span {

src/css/vars.css

@@ -15,7 +15,7 @@
   --color-jet-30: #424242;
   --color-jet-50: #333;
   --color-jet-70: #222;
-  --color-jet-80: #191919;
+  --color-jet-80: #12071f;
   --color-black: #000;
   /* fonts */
   --rem-base: 18; /* used to compute rem value from desired pixel value (e.g., calc(18 / var(--rem-base) * 1rem) = 18px) */
@@ -28,6 +28,7 @@
   --body-font-weight-bold: 600;
   --monospace-font-family: "Roboto Mono", monospace;
   --monospace-font-weight-bold: 600;
+  --h-font-weight-bold: 800;
   /* base */
   --body-background: var(--color-white);
   --panel-background: var(--color-smoke-30);
@@ -80,7 +81,12 @@
   --doc-margin: 0 auto;
   --doc-margin--desktop: 0 2rem;
   --heading-font-color: var(--color-jet-80);
-  --heading-font-weight: normal;
+  --h1-font-weight: var(--h-font-weight-bold);
+  --h2-font-weight: var(--h-font-weight-bold);
+  --h3-font-weight: var(--h-font-weight-bold);
+  --h4-font-weight: 500;
+  --h5-font-weight: 500;
+  --h6-font-weight: 500;
   --alt-heading-font-weight: var(--body-font-weight-bold);
   --section-divider-color: var(--panel-border-color);
   --link-font-color: #1565c0;
@@ -110,7 +116,11 @@
   --sidebar-background: var(--color-smoke-90);
   --table-border-color: var(--panel-border-color);
   --table-stripe-background: var(--panel-background);
-  --table-footer-background: linear-gradient(to bottom, var(--color-smoke-70) 0%, var(--color-white) 100%);
+  --table-footer-background: linear-gradient(
+    to bottom,
+    var(--color-smoke-70) 0%,
+    var(--color-white) 100%
+  );
   /* toc */
   --toc-font-color: var(--nav-muted-color);
   --toc-heading-font-color: var(--doc-font-color);