diff --git a/web/project-website/static/custom.css b/web/project-website/static/custom.css
index 262dd912..2f8191b2 100644
--- a/web/project-website/static/custom.css
+++ b/web/project-website/static/custom.css
@@ -129,7 +129,6 @@ body {
 }
 
 h3 {
-  padding-top: 1rem;
   margin-bottom: 0.5rem;
 }
 
@@ -182,6 +181,21 @@ h3 {
   padding-left: 1rem;
 }
 
+.gdoc-nav nav section {
+  /* Make the font slightly smaller. */
+  font-size: 0.9rem;
+}
+
+.gdoc-nav__list li {
+  /* Squeeze the navigation items a little closer together. */
+  margin: 0.6rem 0;
+}
+.gdoc-nav__entry.is-active {
+  /* Make the current page in the documentation navigation tree more visible. */
+  text-decoration: none;
+  border-bottom: thin dashed var(--link-color-visited);
+}
+
 .flamenco-download-link {
   font-family: var(--font-family-mono);
 }