update header styles for Antora docs

- adjust weight of bold elements in base.css
- set color for nested links in brand
- add padding to separator
- style menu list divider
- size icon in navbar

diff --git a/src/css/base.css b/src/css/base.css
index 3cb8e38..51a3cbb 100644 (file)
--- a/src/css/base.css
+++ b/src/css/base.css
@@ -48,6 +48,13 @@ pre {
   font-family: 'Roboto Mono', monospace;
 }
 
+b,
+dt,
+strong,
+th {
+  font-weight: 500;
+}
+
 ::-webkit-scrollbar {
   width: 0.3333rem;
   height: 0.3333rem;

diff --git a/src/css/doc.css b/src/css/doc.css
index 72ca304..06a4d9f 100644 (file)
--- a/src/css/doc.css
+++ b/src/css/doc.css
@@ -66,13 +66,6 @@
   color: #104d92;
 }
 
-.doc b,
-.doc dt,
-.doc strong,
-.doc th {
-  font-weight: 500;
-}
-
 .doc i.fa {
   font-style: normal;
 }

diff --git a/src/css/header.css b/src/css/header.css
index d356e7b..8449bc0 100644 (file)
--- a/src/css/header.css
+++ b/src/css/header.css
@@ -26,11 +26,16 @@ body {
   text-decoration: none;
 }
 
-.navbar-brand .navbar-item {
+.navbar-brand .navbar-item,
+.navbar-brand .navbar-item a {
   color: var(--color-navbar-text);
   font-size: 1.15rem;
 }
 
+.navbar-brand .separator {
+  padding: 0 0.375rem;
+}
+
 @media screen and (min-width: 1024px) {
   .navbar-end > .navbar-item,
   .navbar-end .navbar-link {
@@ -139,6 +144,11 @@ body {
   padding: 0;
 }
 
+.navbar-item .icon {
+  width: 1.1rem;
+  height: 1.1rem;
+}
+
 .navbar-link {
   padding-right: 2.5em;
 }
@@ -152,6 +162,13 @@ body {
   padding-right: 1.5rem;
 }
 
+.navbar-divider {
+  background-color: #e1e1e1;
+  border: none;
+  height: 1px;
+  margin: 0.25rem 0;
+}
+
 @media screen and (max-width: 1023px) {
   .navbar-brand .navbar-item {
     align-items: center;