Fix fonsp#1018 (fonsp#1798)

Co-authored-by: Παναγιώτης Γεωργακόπουλος <[email protected]>
Oblynx · Jan 3, 2022 · f1be3fd · f1be3fd
1 parent 4e13ef3
commit f1be3fd
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/frontend/editor.css b/frontend/editor.css
@@ -177,6 +177,12 @@ pluto-output p:first-child {
     margin-block-start: 0px;
 }
 
+/* https://github.com/necolas/normalize.css/blob/fc091cce1534909334c1911709a39c22d406977b/normalize.css#L96 */
+b,
+strong {
+    font-weight: bolder;
+}
+
 /* I actually just want to get rid of the margin-block-start on the p tag,
     but css doesn't allow that. So I have to move the list up, instead of not moving it up */
 pluto-output li p + ul,