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; }