From 5ba880506cb28de7cf23296a2d519aa8ab43bd4a Mon Sep 17 00:00:00 2001
From: Yuval Tassa <tassa@google.com>
Date: Mon, 4 Jul 2022 11:04:47 -0700
Subject: [PATCH] Improve header and paragraph spacing.

PiperOrigin-RevId: 458935896
Change-Id: Ibbd084ddd18cf9c1a5fe59b3ca60b715595cf606
---
 doc/css/theme_overrides.css | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/doc/css/theme_overrides.css b/doc/css/theme_overrides.css
index c23e1d44..e9c33d5b 100644
--- a/doc/css/theme_overrides.css
+++ b/doc/css/theme_overrides.css
@@ -23,9 +23,15 @@ body {
   color: rgb(18, 54, 147);
 }
 
-/* Adjust paragraph margins to make top and bottom of images more symmetric. */
-p {
-  margin: 20px 0px 20px 0px;
+/* Decrease bottom margin of some headings for tighter vertical spacing. */
+.rst-content h2 {
+  margin-bottom: 20px;
+}
+.rst-content h3 {
+  margin-bottom: 10px;
+}
+.rst-content h4 {
+  margin-bottom: 5px;
 }
 
 /* Paragraph margins don't apply to table cell contents. */