Merge pull request rust-lang#73 from woodyZootopia/no_italic_but_bold

1重スターで囲われた範囲を太字にするように変更
FifthTry · Sep 4, 2020 · 79cdd72 · 79cdd72
2 parents 8c8f153 + 4b0bc54
commit 79cdd72
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/book.toml b/book.toml
@@ -7,5 +7,5 @@ language = "ja"
 build-dir = "docs"
 
 [output.html]
-additional-css = ["ferris.css", "theme/2018-edition.css"]
+additional-css = ["ferris.css", "theme/2018-edition.css", "theme/em-to-bold.css"]
 additional-js = ["ferris.js"]
diff --git a/theme/em-to-bold.css b/theme/em-to-bold.css
@@ -0,0 +1,5 @@
+/* 1重スターで囲われた部分も斜体でなくボールド体にする */
+em {
+    font-weight: bold;
+    font-style: normal;
+}