adjust font size

2025-07-14 12:53:15 +03:00
parent 0310c26edd
commit 1f338dfd2b
21 changed files with 173 additions and 54 deletions
@@ -147,3 +147,11 @@ button[disabled] .enabled {
  outline-offset: 3px;
  outline-color: hsl(var(--bc) / 0.2);
 }
+
+.font-times {
+  font-family: "Times New Roman", Times, ui-serif, serif, Cambria, Georgia;
+}
+
+.font-courier {
+  font-family: "Courier New", Consolas, "Liberation Mono", monospace, ui-monospace, SFMono-Regular, Menlo, Monaco;
+}