switch to using 'monospace' rather than firacode. self host katex

2022-04-01 19:51:48 +02:00 · 2022-04-01 19:51:48 +02:00 · 791fa607da
commit 791fa607da
parent 52190776d7
66 changed files with 1118 additions and 15 deletions
--- a/22
+++ b/22
@ -0,0 +1,22 @@
+The MIT License (MIT)
+
+Copyright (c) 2022 depsterr <depsterr at protonmail dot com>
+Copyright (c) 2013-2020 Khan Academy and other contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
--- a/_config.yml
+++ b/_config.yml
@ -6,10 +6,12 @@ plugins:
  - jekyll-feed
  - jekyll-katex
  - jekyll/agda
+  - jekyll-minifier

 exclude:
  - "*.agdai"
  - "readme.md"
+  - "LICENSE"

 katex:
  rendering_options:
--- a/_layouts/default.html
+++ b/_layouts/default.html
@ -5,7 +5,6 @@
    <meta charset="utf-8">
    <title>{{ page.title }} - {{ site.title }}</title>
    <link rel="stylesheet" href="{{ "/assets/css/main.css" | relative_url }}">
-	<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.15.2/dist/katex.min.css" integrity="sha384-MlJdn/WNKDGXveldHDdyRP1R4CTHr3FeuDNfhsLPYrq2t0UBkUdK2jyTnXPEK1NQ" crossorigin="anonymous">
 	<link rel="stylesheet" href="{{ "/lagda/Agda.css" | relative_url }}" />
  </head>
  <body>
--- a/assets/css/fonts/KaTeX_AMS-Regular.ttf
+++ b/assets/css/fonts/KaTeX_AMS-Regular.ttf
--- a/assets/css/fonts/KaTeX_AMS-Regular.woff
+++ b/assets/css/fonts/KaTeX_AMS-Regular.woff
--- a/assets/css/fonts/KaTeX_AMS-Regular.woff2
+++ b/assets/css/fonts/KaTeX_AMS-Regular.woff2
--- a/assets/css/fonts/KaTeX_Caligraphic-Bold.ttf
+++ b/assets/css/fonts/KaTeX_Caligraphic-Bold.ttf
--- a/assets/css/fonts/KaTeX_Caligraphic-Bold.woff
+++ b/assets/css/fonts/KaTeX_Caligraphic-Bold.woff
--- a/assets/css/fonts/KaTeX_Caligraphic-Bold.woff2
+++ b/assets/css/fonts/KaTeX_Caligraphic-Bold.woff2
--- a/assets/css/fonts/KaTeX_Caligraphic-Regular.ttf
+++ b/assets/css/fonts/KaTeX_Caligraphic-Regular.ttf
--- a/assets/css/fonts/KaTeX_Caligraphic-Regular.woff
+++ b/assets/css/fonts/KaTeX_Caligraphic-Regular.woff
--- a/assets/css/fonts/KaTeX_Caligraphic-Regular.woff2
+++ b/assets/css/fonts/KaTeX_Caligraphic-Regular.woff2
--- a/assets/css/fonts/KaTeX_Fraktur-Bold.ttf
+++ b/assets/css/fonts/KaTeX_Fraktur-Bold.ttf
--- a/assets/css/fonts/KaTeX_Fraktur-Bold.woff
+++ b/assets/css/fonts/KaTeX_Fraktur-Bold.woff
--- a/assets/css/fonts/KaTeX_Fraktur-Bold.woff2
+++ b/assets/css/fonts/KaTeX_Fraktur-Bold.woff2
--- a/assets/css/fonts/KaTeX_Fraktur-Regular.ttf
+++ b/assets/css/fonts/KaTeX_Fraktur-Regular.ttf
--- a/assets/css/fonts/KaTeX_Fraktur-Regular.woff
+++ b/assets/css/fonts/KaTeX_Fraktur-Regular.woff
--- a/assets/css/fonts/KaTeX_Fraktur-Regular.woff2
+++ b/assets/css/fonts/KaTeX_Fraktur-Regular.woff2
--- a/assets/css/fonts/KaTeX_Main-Bold.ttf
+++ b/assets/css/fonts/KaTeX_Main-Bold.ttf
--- a/assets/css/fonts/KaTeX_Main-Bold.woff
+++ b/assets/css/fonts/KaTeX_Main-Bold.woff
--- a/assets/css/fonts/KaTeX_Main-Bold.woff2
+++ b/assets/css/fonts/KaTeX_Main-Bold.woff2
--- a/assets/css/fonts/KaTeX_Main-BoldItalic.ttf
+++ b/assets/css/fonts/KaTeX_Main-BoldItalic.ttf
--- a/assets/css/fonts/KaTeX_Main-BoldItalic.woff
+++ b/assets/css/fonts/KaTeX_Main-BoldItalic.woff
--- a/assets/css/fonts/KaTeX_Main-BoldItalic.woff2
+++ b/assets/css/fonts/KaTeX_Main-BoldItalic.woff2
--- a/assets/css/fonts/KaTeX_Main-Italic.ttf
+++ b/assets/css/fonts/KaTeX_Main-Italic.ttf
--- a/assets/css/fonts/KaTeX_Main-Italic.woff
+++ b/assets/css/fonts/KaTeX_Main-Italic.woff
--- a/assets/css/fonts/KaTeX_Main-Italic.woff2
+++ b/assets/css/fonts/KaTeX_Main-Italic.woff2
--- a/assets/css/fonts/KaTeX_Main-Regular.ttf
+++ b/assets/css/fonts/KaTeX_Main-Regular.ttf
--- a/assets/css/fonts/KaTeX_Main-Regular.woff
+++ b/assets/css/fonts/KaTeX_Main-Regular.woff
--- a/assets/css/fonts/KaTeX_Main-Regular.woff2
+++ b/assets/css/fonts/KaTeX_Main-Regular.woff2
--- a/assets/css/fonts/KaTeX_Math-BoldItalic.ttf
+++ b/assets/css/fonts/KaTeX_Math-BoldItalic.ttf
--- a/assets/css/fonts/KaTeX_Math-BoldItalic.woff
+++ b/assets/css/fonts/KaTeX_Math-BoldItalic.woff
--- a/assets/css/fonts/KaTeX_Math-BoldItalic.woff2
+++ b/assets/css/fonts/KaTeX_Math-BoldItalic.woff2
--- a/assets/css/fonts/KaTeX_Math-Italic.ttf
+++ b/assets/css/fonts/KaTeX_Math-Italic.ttf
--- a/assets/css/fonts/KaTeX_Math-Italic.woff
+++ b/assets/css/fonts/KaTeX_Math-Italic.woff
--- a/assets/css/fonts/KaTeX_Math-Italic.woff2
+++ b/assets/css/fonts/KaTeX_Math-Italic.woff2
--- a/assets/css/fonts/KaTeX_SansSerif-Bold.ttf
+++ b/assets/css/fonts/KaTeX_SansSerif-Bold.ttf
--- a/assets/css/fonts/KaTeX_SansSerif-Bold.woff
+++ b/assets/css/fonts/KaTeX_SansSerif-Bold.woff
--- a/assets/css/fonts/KaTeX_SansSerif-Bold.woff2
+++ b/assets/css/fonts/KaTeX_SansSerif-Bold.woff2
--- a/assets/css/fonts/KaTeX_SansSerif-Italic.ttf
+++ b/assets/css/fonts/KaTeX_SansSerif-Italic.ttf
--- a/assets/css/fonts/KaTeX_SansSerif-Italic.woff
+++ b/assets/css/fonts/KaTeX_SansSerif-Italic.woff
--- a/assets/css/fonts/KaTeX_SansSerif-Italic.woff2
+++ b/assets/css/fonts/KaTeX_SansSerif-Italic.woff2
--- a/assets/css/fonts/KaTeX_SansSerif-Regular.ttf
+++ b/assets/css/fonts/KaTeX_SansSerif-Regular.ttf
--- a/assets/css/fonts/KaTeX_SansSerif-Regular.woff
+++ b/assets/css/fonts/KaTeX_SansSerif-Regular.woff
--- a/assets/css/fonts/KaTeX_SansSerif-Regular.woff2
+++ b/assets/css/fonts/KaTeX_SansSerif-Regular.woff2
--- a/assets/css/fonts/KaTeX_Script-Regular.ttf
+++ b/assets/css/fonts/KaTeX_Script-Regular.ttf
--- a/assets/css/fonts/KaTeX_Script-Regular.woff
+++ b/assets/css/fonts/KaTeX_Script-Regular.woff
--- a/assets/css/fonts/KaTeX_Script-Regular.woff2
+++ b/assets/css/fonts/KaTeX_Script-Regular.woff2
--- a/assets/css/fonts/KaTeX_Size1-Regular.ttf
+++ b/assets/css/fonts/KaTeX_Size1-Regular.ttf
--- a/assets/css/fonts/KaTeX_Size1-Regular.woff
+++ b/assets/css/fonts/KaTeX_Size1-Regular.woff
--- a/assets/css/fonts/KaTeX_Size1-Regular.woff2
+++ b/assets/css/fonts/KaTeX_Size1-Regular.woff2
--- a/assets/css/fonts/KaTeX_Size2-Regular.ttf
+++ b/assets/css/fonts/KaTeX_Size2-Regular.ttf
--- a/assets/css/fonts/KaTeX_Size2-Regular.woff
+++ b/assets/css/fonts/KaTeX_Size2-Regular.woff
--- a/assets/css/fonts/KaTeX_Size2-Regular.woff2
+++ b/assets/css/fonts/KaTeX_Size2-Regular.woff2
--- a/assets/css/fonts/KaTeX_Size3-Regular.ttf
+++ b/assets/css/fonts/KaTeX_Size3-Regular.ttf
--- a/assets/css/fonts/KaTeX_Size3-Regular.woff
+++ b/assets/css/fonts/KaTeX_Size3-Regular.woff
--- a/assets/css/fonts/KaTeX_Size3-Regular.woff2
+++ b/assets/css/fonts/KaTeX_Size3-Regular.woff2
--- a/assets/css/fonts/KaTeX_Size4-Regular.ttf
+++ b/assets/css/fonts/KaTeX_Size4-Regular.ttf
--- a/assets/css/fonts/KaTeX_Size4-Regular.woff
+++ b/assets/css/fonts/KaTeX_Size4-Regular.woff
--- a/assets/css/fonts/KaTeX_Size4-Regular.woff2
+++ b/assets/css/fonts/KaTeX_Size4-Regular.woff2
--- a/assets/css/fonts/KaTeX_Typewriter-Regular.ttf
+++ b/assets/css/fonts/KaTeX_Typewriter-Regular.ttf
--- a/assets/css/fonts/KaTeX_Typewriter-Regular.woff
+++ b/assets/css/fonts/KaTeX_Typewriter-Regular.woff
--- a/assets/css/fonts/KaTeX_Typewriter-Regular.woff2
+++ b/assets/css/fonts/KaTeX_Typewriter-Regular.woff2
--- a/assets/css/katex.scss
+++ b/assets/css/katex.scss
--- a/assets/css/main.scss
+++ b/assets/css/main.scss
@ -47,6 +47,7 @@ $text-emph:      var(--text-emph);

 body {
 	background-color: $background;
+  font-family: serif;
 }

 img {
@ -58,20 +59,6 @@ figcaption {
 	color: $text;
 }

-@import url(https://cdn.jsdelivr.net/npm/firacode@6.2.0/distr/fira_code.css);
-
-code, .Agda { font-family: 'Fira Code', monospace; }
-
-@supports (font-variation-settings: normal) {
-  code, .Agda { font-family: 'Fira Code VF', monospace; }
-}
-
-code, .Agda {
-	background-color: $background-alt;
-	padding: 4px;
-	font-size: 0.8em;
-}
-
 pre code {
 	display: block;
 }
@ -155,3 +142,12 @@ hr {
 	display: block;
 	margin: auto;
 }
+
+code, .Agda {
+  font-family: monospace, monospace;
+	background-color: $background-alt;
+	padding: 4px;
+  overflow-x: auto;
+}
+
+@import "katex"
--- a/readme.md
+++ b/readme.md
@ -8,3 +8,8 @@ sources for depsterr.com. built using jekyll (without a theme).
 * jekyll-feed
 * jekyll-katex (needs katex)
 * jekyll-agda (needs agda)
+ * jekyll-minifier
+
+## Aknowlegdements
+
+This repository contains katex code for self hosting katex. This code is used under the MIT LICENSE (for details, read the `LICENSE` file).