diff options
| author | Arun Isaac | 2022-09-19 02:15:48 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-09-19 02:15:48 +0530 |
| commit | 84abb60abc0fdf509849a17e34d501bec62818e0 (patch) | |
| tree | 5ac8122bbe0b53292a19c4c67832404ab8721c8a /website | |
| parent | ba2cde414865b86bd062591109797ac1738fb1d8 (diff) | |
| download | tissue-84abb60abc0fdf509849a17e34d501bec62818e0.tar.gz tissue-84abb60abc0fdf509849a17e34d501bec62818e0.tar.lz tissue-84abb60abc0fdf509849a17e34d501bec62818e0.zip | |
tissue.scm: Add CSS.
* website/style.css: New file.
* tissue.scm (#:web-files): Copy CSS to website.
(#:web-css): Use it.
Diffstat (limited to 'website')
| -rw-r--r-- | website/style.css | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/website/style.css b/website/style.css new file mode 100644 index 0000000..907de70 --- /dev/null +++ b/website/style.css @@ -0,0 +1,46 @@ +@font-face { + font-family: 'IBM Plex Sans'; + src: url('/fonts/IBMPlexSans-Regular-Latin1.woff2') format('woff2'); + font-weight: normal; + font-style: normal; +} + +@font-face { + font-family: 'IBM Plex Sans'; + src: url('/fonts/IBMPlexSans-Bold-Latin1.woff2') format('woff2'); + font-weight: bold; + font-style: normal; +} + +@font-face { + font-family: 'IBM Plex Mono'; + src: url('/fonts/IBMPlexMono-Regular-Latin1.woff2') format('woff2'); + font-weight: normal; + font-style: normal; +} + +@font-face { + font-family: 'IBM Plex Mono'; + src: url('/fonts/IBMPlexMono-Bold-Latin1.woff2') format('woff2'); + font-weight: bold; + font-style: normal; +} + +body { + margin: 0 auto; + max-width: 1000px; + line-height: 1.6; + font-family: 'IBM Plex Sans', sans-serif; + padding: 0 10px; +} + +pre, code, samp { + font-family: 'IBM Plex Mono', monospace; +} + +pre { + background-color: #f0f0f0; + padding: 1em; +} + +h1, h3 { font-variant: small-caps; } |