chenlin/Mujoco_WASM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Improve header and paragraph spacing.

Browse Source 
PiperOrigin-RevId: 458935896
Change-Id: Ibbd084ddd18cf9c1a5fe59b3ca60b715595cf606
This commit is contained in:
Yuval Tassa
2022-07-04 11:04:47 -07:00
committed by Copybara-Service
parent 3df3c95812
commit 5ba880506c
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/css/theme_overrides.css
+9 -3
View File
@@ -23,9 +23,15 @@ body {
color: rgb(18, 54, 147); color: rgb(18, 54, 147);
} }
/* Adjust paragraph margins to make top and bottom of images more symmetric. */ /* Decrease bottom margin of some headings for tighter vertical spacing. */
p { .rst-content h2 {
margin: 20px 0px 20px 0px; margin-bottom: 20px;
}
.rst-content h3 {
margin-bottom: 10px;
}
.rst-content h4 {
margin-bottom: 5px;
} }
/* Paragraph margins don't apply to table cell contents. */ /* Paragraph margins don't apply to table cell contents. */