Merge pull request #257 from git-baboo/feature/251_change_font

フォントの変更
git-baboo · Mar 6, 2022 · 61da3f7 · 61da3f7
2 parents 2c59290 + 6ea4a4a
commit 61da3f7
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/src/fonts/RictyDiminished-Regular.ttf b/src/fonts/RictyDiminished-Regular.ttf
diff --git a/src/style/difffile.css b/src/style/difffile.css
@@ -1,7 +1,12 @@
+@font-face {
+  font-family: Myfont;
+  src: url("@/fonts/RictyDiminished-Regular.ttf");
+}
+
 :root {
   --diff-background-color: initial;
   --diff-text-color: initial;
-  --diff-font-family: Consolas, Courier, monospace;
+  --diff-font-family: Myfont, monospace;
   --diff-selection-background-color: #b3d7ff;
   --diff-gutter-insert-background-color: #d6fedb;
   --diff-gutter-delete-background-color: #fadde0;
@@ -13,6 +18,7 @@
   --diff-code-selected-background-color: #fffce0;
   --diff-omit-gutter-line-color: #cb2a1d;
 }
+
 .diff {
   background-color: initial;
   background-color: var(--diff-background-color);