Increase monospace font-size one decimal (#32)

* Increase monospace font-size one decimal * Update ChangeLog
danirus · Aug 2, 2024 · d573362 · d573362
1 parent bb7a72b
commit d573362
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/ChangeLog.md b/ChangeLog.md
@@ -1,5 +1,10 @@
 # Change Log
 
+## [0.3.5] - 2024-08-02
+
+- Provide better for version-change directives (`versionadded`, `versionchanged`, `deprecated`, and `versionremoved`) when they only get a version number and no optional explanatory text.
+- Increment the font size for monospace font to match normal font.
+
 ## [0.3.4] - 2024-06-26
 
 - Fix in `js/src/tocresize.py` to avoid setting the height of the sidebars when they are not part of the grid.

diff --git a/scss/_layout.scss b/scss/_layout.scss
@@ -101,7 +101,7 @@ body {
   code,
   code * {
     font-family: var(--#{$prefix}font-monospace);
-    font-size: .7rem;
+    font-size: .8rem;
   }
 
   @include media-breakpoint-down(lg) {