improved monospace font choice and ASCII art

2023-03-06 16:27:17 +00:00
parent 1c06a47136
commit 587a528870
3 changed files with 17 additions and 19 deletions
--- a/css/main.css
+++ b/css/main.css
@@ -85,16 +85,16 @@ article.expanded {
  z-index: 120 !important;
 }
 article pre {
-  font-family: "B612 Mono", monospace;
+  font-family: "Noto Sans Mono", monospace;
  background-color: #233733;
  color: #85dcb5;
  font-size: 1rem;
-  line-height: 1.2em;
+  line-height: 1.1em;
 }

 #article1 {
  right: 60px;
-  width: 645px;
+  width: 595px;
 }
 #article1 .content {
  padding: 0px;