diff options
18 files changed, 57 insertions, 16 deletions
@@ -8,13 +8,13 @@ build/ *.html~ # begin generated files -site/posts.html -site/posts/DiscoveringCommonLisp.html site/posts/ExtensibleTypeSafeErrorHandling.html +site/posts/DiscoveringCommonLisp.html site/posts/MonadTransformers.html -site/posts/StronglySpecifiedFunctionsProgram.html -site/posts/MiniHTTPServer.html -site/posts/StronglySpecifiedFunctions.html +site/posts.html site/posts/RewritingInCoq.html +site/posts/StronglySpecifiedFunctions.html site/posts/Ltac101.html +site/posts/StronglySpecifiedFunctionsProgram.html +site/posts/MiniHTTPServer.html # begin generated files diff --git a/site/index.html b/site/index.html index 7d08c4a..2ce1451 100644 --- a/site/index.html +++ b/site/index.html @@ -4,8 +4,7 @@ <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/fork-awesome@1.1.7/css/fork-awesome.min.css" integrity="sha256-gsmEoJAws/Kd3CjuOQzLie5Q3yshhvmo7YNtBG7aaEY=" crossorigin="anonymous"> - <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/tonsky/FiraCode@1.207/distr/fira_code.css"> - <link rel="stylesheet" href="https://edwardtufte.github.io/et-book/et-book.css"> + <link rel="stylesheet" href="https://soap.coffee/~lthms/vendors/fira-code.2/font.css"> <link rel="stylesheet" href="https://soap.coffee/~lthms/style/main.css"> <title></title> </head> diff --git a/site/posts.org b/site/posts.org index b2096e0..c159880 100644 --- a/site/posts.org +++ b/site/posts.org @@ -10,8 +10,8 @@ Over the past years, I have tried to capitalize on my findings. What I have lacked in regularity I made up for in subject exoticism. If you like what you read, have a question or for any other reasons really, you -can shoot to [[mailto:~lthms/lthms.xyz@lists.sr.ht][the dedicated mailing list]] (see the [[https://lists.sr.ht/~lthms/lthms.xyz/%3C20190127111504.n27ttkvtl7l3lzwb%40ideepad.localdomain%3E][annoucement]] for a guide on how -to subscribe). +can shoot an email to [[mailto:~lthms/lthms.xyz@lists.sr.ht][the dedicated mailing list]] (see the [[https://lists.sr.ht/~lthms/lthms.xyz/%3C20190127111504.n27ttkvtl7l3lzwb%40ideepad.localdomain%3E][annoucement]] for a +guide on how to subscribe). * About Coq @@ -31,7 +31,7 @@ machine-checked proofs. The ~rewrite~ tactics are really useful, since they are not limited to the Coq built-in equality relation. -- A Series on Specifying Strongly-Specified Funcions in Coq :: +- A Series on Strongly-Specified Funcions in Coq :: Coq ~Prop~ sort allows for defining properties function arguments have to satisfy, such that using such a function requires providing a proof the property is satisfied. diff --git a/site/style/main.css b/site/style/main.css index 8a9c589..62f5e96 100644 --- a/site/style/main.css +++ b/site/style/main.css @@ -10,7 +10,7 @@ body, html { font-size: 100%; background: #29222E; color: #E0CEED; - font-family: 'et-book', serif; + font-family: serif; } h1, h2, h3, h4, h5, a[href] { @@ -27,6 +27,10 @@ h1 { /* default */ +body#default { + overflow-x: hidden; +} + body#default nav { padding-top: 1em; padding-bottom: 1em; @@ -68,11 +72,10 @@ body#default img { } body#default main { - max-width: 500px; + max-width: 550px; margin: auto; padding: 0em 1em 1em 1em; font-size: 130%; - overflow-x: hidden; } /* coqdoc output */ diff --git a/site/vendors/fira-code.2/font.css b/site/vendors/fira-code.2/font.css new file mode 100644 index 0000000..9670925 --- /dev/null +++ b/site/vendors/fira-code.2/font.css @@ -0,0 +1,40 @@ +@font-face { + font-family: 'Fira Code'; + src: url('woff2/FiraCode-Light.woff2') format('woff2'), + url("woff/FiraCode-Light.woff") format("woff"); + font-weight: 300; + font-style: normal; +} + +@font-face { + font-family: 'Fira Code'; + src: url('woff2/FiraCode-Regular.woff2') format('woff2'), + url("woff/FiraCode-Regular.woff") format("woff"); + font-weight: 400; + font-style: normal; +} + +@font-face { + font-family: 'Fira Code'; + src: url('woff2/FiraCode-Medium.woff2') format('woff2'), + url("woff/FiraCode-Medium.woff") format("woff"); + font-weight: 500; + font-style: normal; +} + +@font-face { + font-family: 'Fira Code'; + src: url('woff2/FiraCode-Bold.woff2') format('woff2'), + url("woff/FiraCode-Bold.woff") format("woff"); + font-weight: 700; + font-style: normal; +} + +@font-face { + font-family: 'Fira Code VF'; + src: url('woff2/FiraCode-VF.woff2') format('woff2-variations'), + url('woff/FiraCode-VF.woff') format('woff-variations'); + /* font-weight requires a range: https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Fonts/Variable_Fonts_Guide#Using_a_variable_font_font-face_changes */ + font-weight: 300 700; + font-style: normal; +}
\ No newline at end of file diff --git a/site/vendors/fira-code.2/woff/FiraCode-Bold.woff b/site/vendors/fira-code.2/woff/FiraCode-Bold.woff Binary files differnew file mode 100644 index 0000000..9985076 --- /dev/null +++ b/site/vendors/fira-code.2/woff/FiraCode-Bold.woff diff --git a/site/vendors/fira-code.2/woff/FiraCode-Light.woff b/site/vendors/fira-code.2/woff/FiraCode-Light.woff Binary files differnew file mode 100644 index 0000000..5718390 --- /dev/null +++ b/site/vendors/fira-code.2/woff/FiraCode-Light.woff diff --git a/site/vendors/fira-code.2/woff/FiraCode-Medium.woff b/site/vendors/fira-code.2/woff/FiraCode-Medium.woff Binary files differnew file mode 100644 index 0000000..16281b2 --- /dev/null +++ b/site/vendors/fira-code.2/woff/FiraCode-Medium.woff diff --git a/site/vendors/fira-code.2/woff/FiraCode-Regular.woff b/site/vendors/fira-code.2/woff/FiraCode-Regular.woff Binary files differnew file mode 100644 index 0000000..d250d45 --- /dev/null +++ b/site/vendors/fira-code.2/woff/FiraCode-Regular.woff diff --git a/site/vendors/fira-code.2/woff/FiraCode-Retina.woff b/site/vendors/fira-code.2/woff/FiraCode-Retina.woff Binary files differnew file mode 100644 index 0000000..b387e83 --- /dev/null +++ b/site/vendors/fira-code.2/woff/FiraCode-Retina.woff diff --git a/site/vendors/fira-code.2/woff/FiraCode-VF.woff b/site/vendors/fira-code.2/woff/FiraCode-VF.woff Binary files differnew file mode 100644 index 0000000..e67183e --- /dev/null +++ b/site/vendors/fira-code.2/woff/FiraCode-VF.woff diff --git a/site/vendors/fira-code.2/woff2/FiraCode-Bold.woff2 b/site/vendors/fira-code.2/woff2/FiraCode-Bold.woff2 Binary files differnew file mode 100644 index 0000000..c386d4c --- /dev/null +++ b/site/vendors/fira-code.2/woff2/FiraCode-Bold.woff2 diff --git a/site/vendors/fira-code.2/woff2/FiraCode-Light.woff2 b/site/vendors/fira-code.2/woff2/FiraCode-Light.woff2 Binary files differnew file mode 100644 index 0000000..3f26550 --- /dev/null +++ b/site/vendors/fira-code.2/woff2/FiraCode-Light.woff2 diff --git a/site/vendors/fira-code.2/woff2/FiraCode-Medium.woff2 b/site/vendors/fira-code.2/woff2/FiraCode-Medium.woff2 Binary files differnew file mode 100644 index 0000000..2e494fd --- /dev/null +++ b/site/vendors/fira-code.2/woff2/FiraCode-Medium.woff2 diff --git a/site/vendors/fira-code.2/woff2/FiraCode-Regular.woff2 b/site/vendors/fira-code.2/woff2/FiraCode-Regular.woff2 Binary files differnew file mode 100644 index 0000000..d58667c --- /dev/null +++ b/site/vendors/fira-code.2/woff2/FiraCode-Regular.woff2 diff --git a/site/vendors/fira-code.2/woff2/FiraCode-Retina.woff2 b/site/vendors/fira-code.2/woff2/FiraCode-Retina.woff2 Binary files differnew file mode 100644 index 0000000..2db81c2 --- /dev/null +++ b/site/vendors/fira-code.2/woff2/FiraCode-Retina.woff2 diff --git a/site/vendors/fira-code.2/woff2/FiraCode-VF.woff2 b/site/vendors/fira-code.2/woff2/FiraCode-VF.woff2 Binary files differnew file mode 100644 index 0000000..6691379 --- /dev/null +++ b/site/vendors/fira-code.2/woff2/FiraCode-VF.woff2 diff --git a/templates/main.html b/templates/main.html index dd4a7d3..eacee78 100644 --- a/templates/main.html +++ b/templates/main.html @@ -7,14 +7,13 @@ <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script> <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/fork-awesome@1.1.7/css/fork-awesome.min.css" integrity="sha256-gsmEoJAws/Kd3CjuOQzLie5Q3yshhvmo7YNtBG7aaEY=" crossorigin="anonymous"> - <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/tonsky/FiraCode@1.207/distr/fira_code.css"> - <link rel="stylesheet" href="https://edwardtufte.github.io/et-book/et-book.css"> + <link rel="stylesheet" href="https://soap.coffee/~lthms/vendors/fira-code.2/font.css"> <link rel="stylesheet" href="https://soap.coffee/~lthms/style/main.css"> </head> <body id="default"> <nav> <ul> - <li> <a href="/posts">Blog</a></li> + <li> <a href="/posts">Write-ups</a></li> <li> <a href="/">About</a></li> </ul> </nav> |