# HG changeset patch # User František Kučera # Date 1569108995 -7200 # Node ID 841bec790da8148a7fab1898ef114f74c7ce5d9f # Parent 5ed5b68408e41750447be7ba6ac9f4d05b29f74a add Sawasdee.woff web font licensed under GPLv2+ with Font exception + switch to sans-serif 18px diff -r 5ed5b68408e4 -r 841bec790da8 Makefile --- a/Makefile Sun Sep 22 00:34:31 2019 +0200 +++ b/Makefile Sun Sep 22 01:36:35 2019 +0200 @@ -22,6 +22,7 @@ mkdir -p build xsltproc --output build/index.xhtml --nonet templates/ssm.xhtml.xsl text/ssm.en.xml cp templates/*.css build + cp templates/*.woff build # TODO: better line wrapping txt: diff -r 5ed5b68408e4 -r 841bec790da8 templates/Sawasdee.woff Binary file templates/Sawasdee.woff has changed diff -r 5ed5b68408e4 -r 841bec790da8 templates/ssm.xhtml.xsl --- a/templates/ssm.xhtml.xsl Sun Sep 22 00:34:31 2019 +0200 +++ b/templates/ssm.xhtml.xsl Sun Sep 22 01:36:35 2019 +0200 @@ -87,10 +87,10 @@ -
  • +
  • - # + #
      diff -r 5ed5b68408e4 -r 841bec790da8 templates/style.css --- a/templates/style.css Sun Sep 22 00:34:31 2019 +0200 +++ b/templates/style.css Sun Sep 22 01:36:35 2019 +0200 @@ -1,6 +1,11 @@ +@font-face { + font-family: "Sawasdee"; + src: url("Sawasdee.woff"); +} + body { - font-family: FreeSerif; - font-size: 20px; + font-family: sans-serif; + font-size: 18px; background-color: white; color: black; text-align: center;