]> Git in Space - website/commitdiff
Use ComicMono font because I am a terrible human being
authorMira Ayre <mi@boxin.space>
Sat, 19 Jun 2021 17:54:00 +0000 (18:54 +0100)
committerMira Ayre <mi@boxin.space>
Sat, 19 Jun 2021 17:54:00 +0000 (18:54 +0100)
.gitignore
Makefile
www/index.cf
www/style.css

index 2d19fc766d98a08d9d1437896bfb008a7b15f340..ec9dda1b67a6bd0bd31c66d853470d75448acbe7 100644 (file)
@@ -1 +1,2 @@
 *.html
+*.ttf
index b2fe0d511051955ae485f84db7e2aecc3c71fa9e..18f441808a12c8f1d0430bd9010007897774b9d8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,20 @@
 FILES = $(shell find www/ -type f -name '*.cf')
 AFFIXES = $(shell find www/ -type f -regex '.*[PS][RU][EF]FIX')
 
-site: $(patsubst %.cf, %.html, $(FILES))
+site: $(patsubst %.cf, %.html, $(FILES)) www/ComicMono.ttf www/ComicMono-Bold.ttf
 
 %.html : %.cf $(AFFIXES)
        ssg $< > $@
 
+www/ComicMono.ttf:
+       curl 'https://dtinth.github.io/comic-mono-font/ComicMono.ttf' -o www/ComicMono.ttf
+
+www/ComicMono-Bold.ttf:
+       curl 'https://dtinth.github.io/comic-mono-font/ComicMono-Bold.ttf' -o www/ComicMono-Bold.ttf
+
 clean:
        find www -type f -name '*.html' -exec rm {} \;
+       find www -type f -name '*.ttf' -exec rm {} \;
 
 push: site
        rsync --exclude-from=rsync-excludes -ruzv -e "ssh -p 8011" \
index 1795c4a955ddea75ff4a575e8321af54d984748e..ca77ca73f26338a982332e40ac0adaa7ca01800d 100644 (file)
@@ -43,5 +43,5 @@ and have a pile of my older music on \
        whenever I do one of these but they're completely random, unplanned, and
        probably not very good. Watch at your own risk.
 <a href="whatflag/">whatflag</a>
-       A tiny little site for figuring out what pride flag you're looking at based
-       on its colours. Works completely without any JavaScript!
+       A tiny little site for figuring out what pride flag you're looking at
+       based on its colours. Works completely without any JavaScript!
index 1c4ba20f8d001f2cf814e2bd37a90e64da501bac..00086d76ead8a3c65e6c9e4d104f5898480e4a73 100644 (file)
@@ -1,3 +1,10 @@
+@font-face { font-family : ComicMono ; src : url( 'ComicMono.ttf' ) ; }
+@font-face {
+       font-family : ComicMono                   ;
+       font-weight : bold                        ;
+       src         : url( 'ComicMono-Bold.ttf' ) ;
+}
+
 @media ( prefers-color-scheme : dark ) {
        * {
                background-color : #000         ;
        }
 }
 
+@media screen and ( max-width : 82ch ) {
+       pre { font-size : 2.2vw ; }
+}
+
 * { scrollbar-width : thin ; }
 
 pre {
-       width   : 80ch  ;
-       margin  : auto  ;
-       padding : 2ch 0 ;
+       width       : 80ch                  ;
+       max-width   : 100%                  ;
+       margin      : auto                  ;
+       padding     : 0                     ;
+       font-family : ComicMono , monospace ;
+       overflow : hidden ;
 }
 
 a { color : #55bcce ; }