Lessen font weight

sagemath · Mar 31, 2024 · 0d47ec3 · 0d47ec3
1 parent 4a84d71
commit 0d47ec3
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 0 deletions.
diff --git a/src/doc/common/static/custom-furo.css b/src/doc/common/static/custom-furo.css
@@ -21,3 +21,8 @@ a.pdf:hover {
   text-decoration: none;
 }
 
+/* For sections INPUT, OUTPUT, EXAMPLES, etc. */
+
+abbr {
+  font-weight: 420;
+}
diff --git a/src/sage/probability/probability_distribution.pyx b/src/sage/probability/probability_distribution.pyx
@@ -28,6 +28,7 @@ AUTHORS:
   GeneralDiscreteDistribution, misc fixes.
 
 - Kwankyu Lee (2010-05-29): F-distribution support.
+
 """
 # ****************************************************************************
 #       Copyright (C) 2004, 2005, 2006 Joshua Kantor <[email protected]>

diff --git a/src/sage/structure/formal_sum.py b/src/sage/structure/formal_sum.py
@@ -48,6 +48,7 @@
 
 - Volker Braun (2010-07-19): new-style coercions, documentation
   added. FormalSums now derives from UniqueRepresentation
+
 """
 
 # ****************************************************************************