diff --git a/css/main.css b/css/main.css index 5efec4d..078b57f 100644 --- 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; diff --git a/index.html b/index.html index fe0d81e..6c377f1 100644 --- a/index.html +++ b/index.html @@ -5,7 +5,7 @@ - +