branch: main
commit dcbd1d73ea5fd318b79bcf2b6626c7b6a61929c7
Author: Yuan Fu <caso...@gmail.com>
Commit: Stefan Monnier <monn...@iro.umontreal.ca>

    * html/layout.css (dd): Reduce `margin-bottom`.
---
 html/layout.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/html/layout.css b/html/layout.css
index 4330ed7..0211e80 100644
--- a/html/layout.css
+++ b/html/layout.css
@@ -148,7 +148,10 @@ dt {
 }
 
 dd {
-  margin-bottom: 10px;
+  /* We should reduce vertical space use in the "header".
+     Yuan Fu <caso...@gmail.com> suggested to do that simply by
+     commenting this out:
+     margin-bottom: 10px; */
   width: 460px;
   display: inline-block;
 }

Reply via email to