commit 984d277866dfea376e20c37df4ad0c7db7269239
parent 8c938966f5af4b5e09880f71acfc0d44b1c01f61
Author: Matsuda Kenji <info@mtkn.jp>
Date: Wed, 21 Dec 2022 13:07:04 +0900
add monospace font
I don't know why it is not set.
Diffstat:
2 files changed, 12 insertions(+), 8 deletions(-)
diff --git a/man/style.css b/man/style.css
@@ -9,10 +9,6 @@
--lfg2: #009900;
}
-html {
- font-family: serif;
-}
-
a {
text-decoration: none;
}
@@ -30,7 +26,12 @@ figcaption {
font-style: italic;
}
+code {
+ font-family: Courier New;
+}
+
pre {
+ font-family: Courier New;
padding: 1em;
border-style: solid;
border-radius: 5px;
@@ -39,6 +40,7 @@ pre {
}
body {
+ font-family: serif;
max-width: 1100px;
margin: 5px auto;
}
diff --git a/pub/style.css b/pub/style.css
@@ -9,10 +9,6 @@
--lfg2: #009900;
}
-html {
- font-family: serif;
-}
-
a {
text-decoration: none;
}
@@ -30,7 +26,12 @@ figcaption {
font-style: italic;
}
+code {
+ font-family: Courier New;
+}
+
pre {
+ font-family: Courier New;
padding: 1em;
border-style: solid;
border-radius: 5px;
@@ -39,6 +40,7 @@ pre {
}
body {
+ font-family: serif;
max-width: 1100px;
margin: 5px auto;
}