From 765ed552498b2f2be028a8b78b7ea69e9f9d6923 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Sun, 23 Feb 2020 20:40:53 +0100 Subject: Use font-display, use non-breaking spaces with URL mark Because we are vendoring the fonts, and the caching duration is set to 1 year, we rename the directories of the font. Plus, we can have meaningful names which advertise the patch. --- site/cleopatra/Contents/Coq.org | 4 +- site/cleopatra/Theme.org | 23 +- site/index.html | 8 +- .../et-book-bold-line-figures.eot | Bin 0 -> 40888 bytes .../et-book-bold-line-figures.svg | 243 ++ .../et-book-bold-line-figures.ttf | Bin 0 -> 70912 bytes .../et-book-bold-line-figures.woff | Bin 0 -> 45364 bytes .../et-book-display-italic-old-style-figures.eot | Bin 0 -> 39297 bytes .../et-book-display-italic-old-style-figures.svg | 244 ++ .../et-book-display-italic-old-style-figures.ttf | Bin 0 -> 74464 bytes .../et-book-display-italic-old-style-figures.woff | Bin 0 -> 43780 bytes .../et-book-roman-line-figures.eot | Bin 0 -> 39628 bytes .../et-book-roman-line-figures.svg | 244 ++ .../et-book-roman-line-figures.ttf | Bin 0 -> 71688 bytes .../et-book-roman-line-figures.woff | Bin 0 -> 44016 bytes .../et-book-roman-old-style-figures.eot | Bin 0 -> 39513 bytes .../et-book-roman-old-style-figures.svg | 244 ++ .../et-book-roman-old-style-figures.ttf | Bin 0 -> 71380 bytes .../et-book-roman-old-style-figures.woff | Bin 0 -> 43900 bytes .../et-book-semi-bold-old-style-figures.eot | Bin 0 -> 40769 bytes .../et-book-semi-bold-old-style-figures.svg | 243 ++ .../et-book-semi-bold-old-style-figures.ttf | Bin 0 -> 70824 bytes .../et-book-semi-bold-old-style-figures.woff | Bin 0 -> 45108 bytes site/vendors/et-book+swap/font.css | 28 + .../et-book-bold-line-figures.eot | Bin 40888 -> 0 bytes .../et-book-bold-line-figures.svg | 243 -- .../et-book-bold-line-figures.ttf | Bin 70912 -> 0 bytes .../et-book-bold-line-figures.woff | Bin 45364 -> 0 bytes .../et-book-display-italic-old-style-figures.eot | Bin 39297 -> 0 bytes .../et-book-display-italic-old-style-figures.svg | 244 -- .../et-book-display-italic-old-style-figures.ttf | Bin 74464 -> 0 bytes .../et-book-display-italic-old-style-figures.woff | Bin 43780 -> 0 bytes .../et-book-roman-line-figures.eot | Bin 39628 -> 0 bytes .../et-book-roman-line-figures.svg | 244 -- .../et-book-roman-line-figures.ttf | Bin 71688 -> 0 bytes .../et-book-roman-line-figures.woff | Bin 44016 -> 0 bytes .../et-book-roman-old-style-figures.eot | Bin 39513 -> 0 bytes .../et-book-roman-old-style-figures.svg | 244 -- .../et-book-roman-old-style-figures.ttf | Bin 71380 -> 0 bytes .../et-book-roman-old-style-figures.woff | Bin 43900 -> 0 bytes .../et-book-semi-bold-old-style-figures.eot | Bin 40769 -> 0 bytes .../et-book-semi-bold-old-style-figures.svg | 243 -- .../et-book-semi-bold-old-style-figures.ttf | Bin 70824 -> 0 bytes .../et-book-semi-bold-old-style-figures.woff | Bin 45108 -> 0 bytes site/vendors/et-book/font.css | 25 - site/vendors/fira-code.2+swap/font.css | 45 + .../fira-code.2+swap/woff/FiraCode-Bold.woff | Bin 0 -> 159636 bytes .../fira-code.2+swap/woff/FiraCode-Light.woff | Bin 0 -> 144956 bytes .../fira-code.2+swap/woff/FiraCode-Medium.woff | Bin 0 -> 146332 bytes .../fira-code.2+swap/woff/FiraCode-Regular.woff | Bin 0 -> 146868 bytes .../fira-code.2+swap/woff/FiraCode-Retina.woff | Bin 0 -> 145500 bytes .../vendors/fira-code.2+swap/woff/FiraCode-VF.woff | Bin 0 -> 130108 bytes .../fira-code.2+swap/woff2/FiraCode-Bold.woff2 | Bin 0 -> 122208 bytes .../fira-code.2+swap/woff2/FiraCode-Light.woff2 | Bin 0 -> 113032 bytes .../fira-code.2+swap/woff2/FiraCode-Medium.woff2 | Bin 0 -> 113720 bytes .../fira-code.2+swap/woff2/FiraCode-Regular.woff2 | Bin 0 -> 114456 bytes .../fira-code.2+swap/woff2/FiraCode-Retina.woff2 | Bin 0 -> 113088 bytes .../fira-code.2+swap/woff2/FiraCode-VF.woff2 | Bin 0 -> 106584 bytes site/vendors/fira-code.2/font.css | 40 - site/vendors/fira-code.2/woff/FiraCode-Bold.woff | Bin 159636 -> 0 bytes site/vendors/fira-code.2/woff/FiraCode-Light.woff | Bin 144956 -> 0 bytes site/vendors/fira-code.2/woff/FiraCode-Medium.woff | Bin 146332 -> 0 bytes .../vendors/fira-code.2/woff/FiraCode-Regular.woff | Bin 146868 -> 0 bytes site/vendors/fira-code.2/woff/FiraCode-Retina.woff | Bin 145500 -> 0 bytes site/vendors/fira-code.2/woff/FiraCode-VF.woff | Bin 130108 -> 0 bytes site/vendors/fira-code.2/woff2/FiraCode-Bold.woff2 | Bin 122208 -> 0 bytes .../vendors/fira-code.2/woff2/FiraCode-Light.woff2 | Bin 113032 -> 0 bytes .../fira-code.2/woff2/FiraCode-Medium.woff2 | Bin 113720 -> 0 bytes .../fira-code.2/woff2/FiraCode-Regular.woff2 | Bin 114456 -> 0 bytes .../fira-code.2/woff2/FiraCode-Retina.woff2 | Bin 113088 -> 0 bytes site/vendors/fira-code.2/woff2/FiraCode-VF.woff2 | Bin 106584 -> 0 bytes .../css/fork-awesome.min.css | 12 + .../fonts/forkawesome-webfont.eot | Bin 0 -> 194926 bytes .../fonts/forkawesome-webfont.svg | 2929 ++++++++++++++++++++ .../fonts/forkawesome-webfont.ttf | Bin 0 -> 194736 bytes .../fonts/forkawesome-webfont.woff | Bin 0 -> 119500 bytes .../fonts/forkawesome-webfont.woff2 | Bin 0 -> 95308 bytes .../fork-awesome.1.1.7/css/fork-awesome.min.css | 12 - .../fonts/forkawesome-webfont.eot | Bin 194926 -> 0 bytes .../fonts/forkawesome-webfont.svg | 2929 -------------------- .../fonts/forkawesome-webfont.ttf | Bin 194736 -> 0 bytes .../fonts/forkawesome-webfont.woff | Bin 119500 -> 0 bytes .../fonts/forkawesome-webfont.woff2 | Bin 95308 -> 0 bytes .../katex.0.11.1+swap/fonts/KaTeX_AMS-Regular.ttf | Bin 0 -> 70972 bytes .../katex.0.11.1+swap/fonts/KaTeX_AMS-Regular.woff | Bin 0 -> 38868 bytes .../fonts/KaTeX_AMS-Regular.woff2 | Bin 0 -> 32944 bytes .../fonts/KaTeX_Caligraphic-Bold.ttf | Bin 0 -> 19316 bytes .../fonts/KaTeX_Caligraphic-Bold.woff | Bin 0 -> 11696 bytes .../fonts/KaTeX_Caligraphic-Bold.woff2 | Bin 0 -> 10448 bytes .../fonts/KaTeX_Caligraphic-Regular.ttf | Bin 0 -> 18684 bytes .../fonts/KaTeX_Caligraphic-Regular.woff | Bin 0 -> 11460 bytes .../fonts/KaTeX_Caligraphic-Regular.woff2 | Bin 0 -> 10240 bytes .../katex.0.11.1+swap/fonts/KaTeX_Fraktur-Bold.ttf | Bin 0 -> 35660 bytes .../fonts/KaTeX_Fraktur-Bold.woff | Bin 0 -> 22632 bytes .../fonts/KaTeX_Fraktur-Bold.woff2 | Bin 0 -> 20360 bytes .../fonts/KaTeX_Fraktur-Regular.ttf | Bin 0 -> 34352 bytes .../fonts/KaTeX_Fraktur-Regular.woff | Bin 0 -> 22088 bytes .../fonts/KaTeX_Fraktur-Regular.woff2 | Bin 0 -> 19784 bytes .../katex.0.11.1+swap/fonts/KaTeX_Main-Bold.ttf | Bin 0 -> 60784 bytes .../katex.0.11.1+swap/fonts/KaTeX_Main-Bold.woff | Bin 0 -> 35464 bytes .../katex.0.11.1+swap/fonts/KaTeX_Main-Bold.woff2 | Bin 0 -> 30244 bytes .../fonts/KaTeX_Main-BoldItalic.ttf | Bin 0 -> 44496 bytes .../fonts/KaTeX_Main-BoldItalic.woff | Bin 0 -> 25352 bytes .../fonts/KaTeX_Main-BoldItalic.woff2 | Bin 0 -> 21944 bytes .../katex.0.11.1+swap/fonts/KaTeX_Main-Italic.ttf | Bin 0 -> 47640 bytes .../katex.0.11.1+swap/fonts/KaTeX_Main-Italic.woff | Bin 0 -> 26228 bytes .../fonts/KaTeX_Main-Italic.woff2 | Bin 0 -> 22748 bytes .../katex.0.11.1+swap/fonts/KaTeX_Main-Regular.ttf | Bin 0 -> 69520 bytes .../fonts/KaTeX_Main-Regular.woff | Bin 0 -> 38112 bytes .../fonts/KaTeX_Main-Regular.woff2 | Bin 0 -> 32464 bytes .../fonts/KaTeX_Math-BoldItalic.ttf | Bin 0 -> 39308 bytes .../fonts/KaTeX_Math-BoldItalic.woff | Bin 0 -> 22324 bytes .../fonts/KaTeX_Math-BoldItalic.woff2 | Bin 0 -> 19720 bytes .../katex.0.11.1+swap/fonts/KaTeX_Math-Italic.ttf | Bin 0 -> 40992 bytes .../katex.0.11.1+swap/fonts/KaTeX_Math-Italic.woff | Bin 0 -> 22844 bytes .../fonts/KaTeX_Math-Italic.woff2 | Bin 0 -> 20096 bytes .../fonts/KaTeX_SansSerif-Bold.ttf | Bin 0 -> 33688 bytes .../fonts/KaTeX_SansSerif-Bold.woff | Bin 0 -> 18516 bytes .../fonts/KaTeX_SansSerif-Bold.woff2 | Bin 0 -> 15732 bytes .../fonts/KaTeX_SansSerif-Italic.ttf | Bin 0 -> 30960 bytes .../fonts/KaTeX_SansSerif-Italic.woff | Bin 0 -> 17572 bytes .../fonts/KaTeX_SansSerif-Italic.woff2 | Bin 0 -> 15024 bytes .../fonts/KaTeX_SansSerif-Regular.ttf | Bin 0 -> 29812 bytes .../fonts/KaTeX_SansSerif-Regular.woff | Bin 0 -> 16228 bytes .../fonts/KaTeX_SansSerif-Regular.woff2 | Bin 0 -> 13708 bytes .../fonts/KaTeX_Script-Regular.ttf | Bin 0 -> 24620 bytes .../fonts/KaTeX_Script-Regular.woff | Bin 0 -> 13428 bytes .../fonts/KaTeX_Script-Regular.woff2 | Bin 0 -> 12064 bytes .../fonts/KaTeX_Size1-Regular.ttf | Bin 0 -> 12916 bytes .../fonts/KaTeX_Size1-Regular.woff | Bin 0 -> 6696 bytes .../fonts/KaTeX_Size1-Regular.woff2 | Bin 0 -> 5592 bytes .../fonts/KaTeX_Size2-Regular.ttf | Bin 0 -> 12172 bytes .../fonts/KaTeX_Size2-Regular.woff | Bin 0 -> 6436 bytes .../fonts/KaTeX_Size2-Regular.woff2 | Bin 0 -> 5392 bytes .../fonts/KaTeX_Size3-Regular.ttf | Bin 0 -> 8120 bytes .../fonts/KaTeX_Size3-Regular.woff | Bin 0 -> 4568 bytes .../fonts/KaTeX_Size3-Regular.woff2 | Bin 0 -> 3728 bytes .../fonts/KaTeX_Size4-Regular.ttf | Bin 0 -> 11016 bytes .../fonts/KaTeX_Size4-Regular.woff | Bin 0 -> 6184 bytes .../fonts/KaTeX_Size4-Regular.woff2 | Bin 0 -> 5028 bytes .../fonts/KaTeX_Typewriter-Regular.ttf | Bin 0 -> 35924 bytes .../fonts/KaTeX_Typewriter-Regular.woff | Bin 0 -> 20260 bytes .../fonts/KaTeX_Typewriter-Regular.woff2 | Bin 0 -> 17272 bytes site/vendors/katex.0.11.1+swap/katex.css | 1 + .../katex.0.11.1/fonts/KaTeX_AMS-Regular.ttf | Bin 70972 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_AMS-Regular.woff | Bin 38868 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_AMS-Regular.woff2 | Bin 32944 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Caligraphic-Bold.ttf | Bin 19316 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Caligraphic-Bold.woff | Bin 11696 -> 0 bytes .../fonts/KaTeX_Caligraphic-Bold.woff2 | Bin 10448 -> 0 bytes .../fonts/KaTeX_Caligraphic-Regular.ttf | Bin 18684 -> 0 bytes .../fonts/KaTeX_Caligraphic-Regular.woff | Bin 11460 -> 0 bytes .../fonts/KaTeX_Caligraphic-Regular.woff2 | Bin 10240 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Fraktur-Bold.ttf | Bin 35660 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Fraktur-Bold.woff | Bin 22632 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Fraktur-Bold.woff2 | Bin 20360 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Fraktur-Regular.ttf | Bin 34352 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Fraktur-Regular.woff | Bin 22088 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Fraktur-Regular.woff2 | Bin 19784 -> 0 bytes .../vendors/katex.0.11.1/fonts/KaTeX_Main-Bold.ttf | Bin 60784 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-Bold.woff | Bin 35464 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-Bold.woff2 | Bin 30244 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-BoldItalic.ttf | Bin 44496 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-BoldItalic.woff | Bin 25352 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-BoldItalic.woff2 | Bin 21944 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-Italic.ttf | Bin 47640 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-Italic.woff | Bin 26228 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-Italic.woff2 | Bin 22748 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-Regular.ttf | Bin 69520 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-Regular.woff | Bin 38112 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Main-Regular.woff2 | Bin 32464 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Math-BoldItalic.ttf | Bin 39308 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Math-BoldItalic.woff | Bin 22324 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Math-BoldItalic.woff2 | Bin 19720 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Math-Italic.ttf | Bin 40992 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Math-Italic.woff | Bin 22844 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Math-Italic.woff2 | Bin 20096 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_SansSerif-Bold.ttf | Bin 33688 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_SansSerif-Bold.woff | Bin 18516 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_SansSerif-Bold.woff2 | Bin 15732 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_SansSerif-Italic.ttf | Bin 30960 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_SansSerif-Italic.woff | Bin 17572 -> 0 bytes .../fonts/KaTeX_SansSerif-Italic.woff2 | Bin 15024 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_SansSerif-Regular.ttf | Bin 29812 -> 0 bytes .../fonts/KaTeX_SansSerif-Regular.woff | Bin 16228 -> 0 bytes .../fonts/KaTeX_SansSerif-Regular.woff2 | Bin 13708 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Script-Regular.ttf | Bin 24620 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Script-Regular.woff | Bin 13428 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Script-Regular.woff2 | Bin 12064 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size1-Regular.ttf | Bin 12916 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size1-Regular.woff | Bin 6696 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size1-Regular.woff2 | Bin 5592 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size2-Regular.ttf | Bin 12172 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size2-Regular.woff | Bin 6436 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size2-Regular.woff2 | Bin 5392 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size3-Regular.ttf | Bin 8120 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size3-Regular.woff | Bin 4568 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size3-Regular.woff2 | Bin 3728 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size4-Regular.ttf | Bin 11016 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size4-Regular.woff | Bin 6184 -> 0 bytes .../katex.0.11.1/fonts/KaTeX_Size4-Regular.woff2 | Bin 5028 -> 0 bytes .../fonts/KaTeX_Typewriter-Regular.ttf | Bin 35924 -> 0 bytes .../fonts/KaTeX_Typewriter-Regular.woff | Bin 20260 -> 0 bytes .../fonts/KaTeX_Typewriter-Regular.woff2 | Bin 17272 -> 0 bytes site/vendors/katex.0.11.1/katex.css | 1 - 205 files changed, 4254 insertions(+), 4239 deletions(-) create mode 100755 site/vendors/et-book+swap/et-book/et-book-bold-line-figures/et-book-bold-line-figures.eot create mode 100755 site/vendors/et-book+swap/et-book/et-book-bold-line-figures/et-book-bold-line-figures.svg create mode 100755 site/vendors/et-book+swap/et-book/et-book-bold-line-figures/et-book-bold-line-figures.ttf create mode 100755 site/vendors/et-book+swap/et-book/et-book-bold-line-figures/et-book-bold-line-figures.woff create mode 100755 site/vendors/et-book+swap/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.eot create mode 100755 site/vendors/et-book+swap/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.svg create mode 100755 site/vendors/et-book+swap/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.ttf create mode 100755 site/vendors/et-book+swap/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.woff create mode 100755 site/vendors/et-book+swap/et-book/et-book-roman-line-figures/et-book-roman-line-figures.eot create mode 100755 site/vendors/et-book+swap/et-book/et-book-roman-line-figures/et-book-roman-line-figures.svg create mode 100755 site/vendors/et-book+swap/et-book/et-book-roman-line-figures/et-book-roman-line-figures.ttf create mode 100755 site/vendors/et-book+swap/et-book/et-book-roman-line-figures/et-book-roman-line-figures.woff create mode 100755 site/vendors/et-book+swap/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.eot create mode 100755 site/vendors/et-book+swap/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.svg create mode 100755 site/vendors/et-book+swap/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.ttf create mode 100755 site/vendors/et-book+swap/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.woff create mode 100755 site/vendors/et-book+swap/et-book/et-book-semi-bold-old-style-figures/et-book-semi-bold-old-style-figures.eot create mode 100755 site/vendors/et-book+swap/et-book/et-book-semi-bold-old-style-figures/et-book-semi-bold-old-style-figures.svg create mode 100755 site/vendors/et-book+swap/et-book/et-book-semi-bold-old-style-figures/et-book-semi-bold-old-style-figures.ttf create mode 100755 site/vendors/et-book+swap/et-book/et-book-semi-bold-old-style-figures/et-book-semi-bold-old-style-figures.woff create mode 100644 site/vendors/et-book+swap/font.css delete mode 100755 site/vendors/et-book/et-book/et-book-bold-line-figures/et-book-bold-line-figures.eot delete mode 100755 site/vendors/et-book/et-book/et-book-bold-line-figures/et-book-bold-line-figures.svg delete mode 100755 site/vendors/et-book/et-book/et-book-bold-line-figures/et-book-bold-line-figures.ttf delete mode 100755 site/vendors/et-book/et-book/et-book-bold-line-figures/et-book-bold-line-figures.woff delete mode 100755 site/vendors/et-book/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.eot delete mode 100755 site/vendors/et-book/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.svg delete mode 100755 site/vendors/et-book/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.ttf delete mode 100755 site/vendors/et-book/et-book/et-book-display-italic-old-style-figures/et-book-display-italic-old-style-figures.woff delete mode 100755 site/vendors/et-book/et-book/et-book-roman-line-figures/et-book-roman-line-figures.eot delete mode 100755 site/vendors/et-book/et-book/et-book-roman-line-figures/et-book-roman-line-figures.svg delete mode 100755 site/vendors/et-book/et-book/et-book-roman-line-figures/et-book-roman-line-figures.ttf delete mode 100755 site/vendors/et-book/et-book/et-book-roman-line-figures/et-book-roman-line-figures.woff delete mode 100755 site/vendors/et-book/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.eot delete mode 100755 site/vendors/et-book/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.svg delete mode 100755 site/vendors/et-book/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.ttf delete mode 100755 site/vendors/et-book/et-book/et-book-roman-old-style-figures/et-book-roman-old-style-figures.woff delete mode 100755 site/vendors/et-book/et-book/et-book-semi-bold-old-style-figures/et-book-semi-bold-old-style-figures.eot delete mode 100755 site/vendors/et-book/et-book/et-book-semi-bold-old-style-figures/et-book-semi-bold-old-style-figures.svg delete mode 100755 site/vendors/et-book/et-book/et-book-semi-bold-old-style-figures/et-book-semi-bold-old-style-figures.ttf delete mode 100755 site/vendors/et-book/et-book/et-book-semi-bold-old-style-figures/et-book-semi-bold-old-style-figures.woff delete mode 100644 site/vendors/et-book/font.css create mode 100644 site/vendors/fira-code.2+swap/font.css create mode 100644 site/vendors/fira-code.2+swap/woff/FiraCode-Bold.woff create mode 100644 site/vendors/fira-code.2+swap/woff/FiraCode-Light.woff create mode 100644 site/vendors/fira-code.2+swap/woff/FiraCode-Medium.woff create mode 100644 site/vendors/fira-code.2+swap/woff/FiraCode-Regular.woff create mode 100644 site/vendors/fira-code.2+swap/woff/FiraCode-Retina.woff create mode 100644 site/vendors/fira-code.2+swap/woff/FiraCode-VF.woff create mode 100644 site/vendors/fira-code.2+swap/woff2/FiraCode-Bold.woff2 create mode 100644 site/vendors/fira-code.2+swap/woff2/FiraCode-Light.woff2 create mode 100644 site/vendors/fira-code.2+swap/woff2/FiraCode-Medium.woff2 create mode 100644 site/vendors/fira-code.2+swap/woff2/FiraCode-Regular.woff2 create mode 100644 site/vendors/fira-code.2+swap/woff2/FiraCode-Retina.woff2 create mode 100644 site/vendors/fira-code.2+swap/woff2/FiraCode-VF.woff2 delete mode 100644 site/vendors/fira-code.2/font.css delete mode 100644 site/vendors/fira-code.2/woff/FiraCode-Bold.woff delete mode 100644 site/vendors/fira-code.2/woff/FiraCode-Light.woff delete mode 100644 site/vendors/fira-code.2/woff/FiraCode-Medium.woff delete mode 100644 site/vendors/fira-code.2/woff/FiraCode-Regular.woff delete mode 100644 site/vendors/fira-code.2/woff/FiraCode-Retina.woff delete mode 100644 site/vendors/fira-code.2/woff/FiraCode-VF.woff delete mode 100644 site/vendors/fira-code.2/woff2/FiraCode-Bold.woff2 delete mode 100644 site/vendors/fira-code.2/woff2/FiraCode-Light.woff2 delete mode 100644 site/vendors/fira-code.2/woff2/FiraCode-Medium.woff2 delete mode 100644 site/vendors/fira-code.2/woff2/FiraCode-Regular.woff2 delete mode 100644 site/vendors/fira-code.2/woff2/FiraCode-Retina.woff2 delete mode 100644 site/vendors/fira-code.2/woff2/FiraCode-VF.woff2 create mode 100644 site/vendors/fork-awesome.1.1.7+swap/css/fork-awesome.min.css create mode 100644 site/vendors/fork-awesome.1.1.7+swap/fonts/forkawesome-webfont.eot create mode 100644 site/vendors/fork-awesome.1.1.7+swap/fonts/forkawesome-webfont.svg create mode 100644 site/vendors/fork-awesome.1.1.7+swap/fonts/forkawesome-webfont.ttf create mode 100644 site/vendors/fork-awesome.1.1.7+swap/fonts/forkawesome-webfont.woff create mode 100644 site/vendors/fork-awesome.1.1.7+swap/fonts/forkawesome-webfont.woff2 delete mode 100644 site/vendors/fork-awesome.1.1.7/css/fork-awesome.min.css delete mode 100644 site/vendors/fork-awesome.1.1.7/fonts/forkawesome-webfont.eot delete mode 100644 site/vendors/fork-awesome.1.1.7/fonts/forkawesome-webfont.svg delete mode 100644 site/vendors/fork-awesome.1.1.7/fonts/forkawesome-webfont.ttf delete mode 100644 site/vendors/fork-awesome.1.1.7/fonts/forkawesome-webfont.woff delete mode 100644 site/vendors/fork-awesome.1.1.7/fonts/forkawesome-webfont.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_AMS-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_AMS-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_AMS-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Caligraphic-Bold.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Caligraphic-Bold.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Caligraphic-Bold.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Caligraphic-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Caligraphic-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Caligraphic-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Fraktur-Bold.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Fraktur-Bold.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Fraktur-Bold.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Fraktur-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Fraktur-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Fraktur-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-Bold.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-Bold.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-Bold.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-BoldItalic.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-BoldItalic.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-BoldItalic.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-Italic.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-Italic.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-Italic.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Main-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Math-BoldItalic.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Math-BoldItalic.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Math-BoldItalic.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Math-Italic.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Math-Italic.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Math-Italic.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_SansSerif-Bold.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_SansSerif-Bold.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_SansSerif-Bold.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_SansSerif-Italic.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_SansSerif-Italic.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_SansSerif-Italic.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_SansSerif-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_SansSerif-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_SansSerif-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Script-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Script-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Script-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size1-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size1-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size1-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size2-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size2-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size2-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size3-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size3-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size3-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size4-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size4-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Size4-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Typewriter-Regular.ttf create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Typewriter-Regular.woff create mode 100644 site/vendors/katex.0.11.1+swap/fonts/KaTeX_Typewriter-Regular.woff2 create mode 100644 site/vendors/katex.0.11.1+swap/katex.css delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_AMS-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_AMS-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_AMS-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Caligraphic-Bold.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Caligraphic-Bold.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Caligraphic-Bold.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Caligraphic-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Caligraphic-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Caligraphic-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Fraktur-Bold.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Fraktur-Bold.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Fraktur-Bold.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Fraktur-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Fraktur-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Fraktur-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-Bold.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-Bold.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-Bold.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-BoldItalic.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-BoldItalic.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-BoldItalic.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-Italic.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-Italic.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-Italic.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Main-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Math-BoldItalic.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Math-BoldItalic.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Math-BoldItalic.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Math-Italic.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Math-Italic.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Math-Italic.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_SansSerif-Bold.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_SansSerif-Bold.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_SansSerif-Bold.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_SansSerif-Italic.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_SansSerif-Italic.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_SansSerif-Italic.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_SansSerif-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_SansSerif-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_SansSerif-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Script-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Script-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Script-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size1-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size1-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size1-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size2-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size2-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size2-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size3-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size3-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size3-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size4-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size4-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Size4-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Typewriter-Regular.ttf delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Typewriter-Regular.woff delete mode 100644 site/vendors/katex.0.11.1/fonts/KaTeX_Typewriter-Regular.woff2 delete mode 100644 site/vendors/katex.0.11.1/katex.css diff --git a/site/cleopatra/Contents/Coq.org b/site/cleopatra/Contents/Coq.org index e910058..9bb5836 100644 --- a/site/cleopatra/Contents/Coq.org +++ b/site/cleopatra/Contents/Coq.org @@ -34,8 +34,8 @@ pre .code a[href] text-decoration: none - .fa-external-link - display: none + .url-mark + display: none .paragraph margin-top: 1em diff --git a/site/cleopatra/Theme.org b/site/cleopatra/Theme.org index fe4612d..0478683 100644 --- a/site/cleopatra/Theme.org +++ b/site/cleopatra/Theme.org @@ -17,11 +17,11 @@ for (var ix in resources) { #+NAME: html_lazyloading #+BEGIN_SRC html