some font changes

site/acl.cool/OVERVIEW_GP1.html

@@ -1,5 +1,4 @@
-<h1 id="programming-language-general-purpose-1">Overview of the GP1 Programming Language</h1>
+<h1 id="programming-language-general-purpose-1">Overview of the<br>GP1 Programming Language</h1>
-<h2 id="description">Description</h2>
 <p>GP1 is a statically typed, multi-paradigm programming language with
 an emphasis on brevity and explicitness. It provides both value and
 reference types, as well as higher-order functions and first-class

site/assets/fonts/Source_Sans_3/OFL.txt

@@ -0,0 +1,93 @@
+Copyright 2010-2020 Adobe (http://www.adobe.com/), with Reserved Font Name 'Source'. All Rights Reserved. Source is a trademark of Adobe in the United States and/or other countries.
+
+This Font Software is licensed under the SIL Open Font License, Version 1.1.
+This license is copied below, and is also available with a FAQ at:
+https://openfontlicense.org
+
+
+-----------------------------------------------------------
+SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007
+-----------------------------------------------------------
+
+PREAMBLE
+The goals of the Open Font License (OFL) are to stimulate worldwide
+development of collaborative font projects, to support the font creation
+efforts of academic and linguistic communities, and to provide a free and
+open framework in which fonts may be shared and improved in partnership
+with others.
+
+The OFL allows the licensed fonts to be used, studied, modified and
+redistributed freely as long as they are not sold by themselves. The
+fonts, including any derivative works, can be bundled, embedded, 
+redistributed and/or sold with any software provided that any reserved
+names are not used by derivative works. The fonts and derivatives,
+however, cannot be released under any other type of license. The
+requirement for fonts to remain under this license does not apply
+to any document created using the fonts or their derivatives.
+
+DEFINITIONS
+"Font Software" refers to the set of files released by the Copyright
+Holder(s) under this license and clearly marked as such. This may
+include source files, build scripts and documentation.
+
+"Reserved Font Name" refers to any names specified as such after the
+copyright statement(s).
+
+"Original Version" refers to the collection of Font Software components as
+distributed by the Copyright Holder(s).
+
+"Modified Version" refers to any derivative made by adding to, deleting,
+or substituting -- in part or in whole -- any of the components of the
+Original Version, by changing formats or by porting the Font Software to a
+new environment.
+
+"Author" refers to any designer, engineer, programmer, technical
+writer or other person who contributed to the Font Software.
+
+PERMISSION & CONDITIONS
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of the Font Software, to use, study, copy, merge, embed, modify,
+redistribute, and sell modified and unmodified copies of the Font
+Software, subject to the following conditions:
+
+1) Neither the Font Software nor any of its individual components,
+in Original or Modified Versions, may be sold by itself.
+
+2) Original or Modified Versions of the Font Software may be bundled,
+redistributed and/or sold with any software, provided that each copy
+contains the above copyright notice and this license. These can be
+included either as stand-alone text files, human-readable headers or
+in the appropriate machine-readable metadata fields within text or
+binary files as long as those fields can be easily viewed by the user.
+
+3) No Modified Version of the Font Software may use the Reserved Font
+Name(s) unless explicit written permission is granted by the corresponding
+Copyright Holder. This restriction only applies to the primary font name as
+presented to the users.
+
+4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font
+Software shall not be used to promote, endorse or advertise any
+Modified Version, except to acknowledge the contribution(s) of the
+Copyright Holder(s) and the Author(s) or with their explicit written
+permission.
+
+5) The Font Software, modified or unmodified, in part or in whole,
+must be distributed entirely under this license, and must not be
+distributed under any other license. The requirement for fonts to
+remain under this license does not apply to any document created
+using the Font Software.
+
+TERMINATION
+This license becomes null and void if any of the above conditions are
+not met.
+
+DISCLAIMER
+THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
+OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE
+COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL
+DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM
+OTHER DEALINGS IN THE FONT SOFTWARE.

site/assets/fonts/Source_Sans_3/README.txt

@@ -0,0 +1,79 @@
+Source Sans 3 Variable Font
+===========================
+
+This download contains Source Sans 3 as both variable fonts and static fonts.
+
+Source Sans 3 is a variable font with this axis:
+  wght
+
+This means all the styles are contained in these files:
+  SourceSans3-VariableFont_wght.ttf
+  SourceSans3-Italic-VariableFont_wght.ttf
+
+If your app fully supports variable fonts, you can now pick intermediate styles
+that aren’t available as static fonts. Not all apps support variable fonts, and
+in those cases you can use the static font files for Source Sans 3:
+  static/SourceSans3-ExtraLight.ttf
+  static/SourceSans3-Light.ttf
+  static/SourceSans3-Regular.ttf
+  static/SourceSans3-Medium.ttf
+  static/SourceSans3-SemiBold.ttf
+  static/SourceSans3-Bold.ttf
+  static/SourceSans3-ExtraBold.ttf
+  static/SourceSans3-Black.ttf
+  static/SourceSans3-ExtraLightItalic.ttf
+  static/SourceSans3-LightItalic.ttf
+  static/SourceSans3-Italic.ttf
+  static/SourceSans3-MediumItalic.ttf
+  static/SourceSans3-SemiBoldItalic.ttf
+  static/SourceSans3-BoldItalic.ttf
+  static/SourceSans3-ExtraBoldItalic.ttf
+  static/SourceSans3-BlackItalic.ttf
+
+Get started
+-----------
+
+1. Install the font files you want to use
+
+2. Use your app's font picker to view the font family and all the
+available styles
+
+Learn more about variable fonts
+-------------------------------
+
+  https://developers.google.com/web/fundamentals/design-and-ux/typography/variable-fonts
+  https://variablefonts.typenetwork.com
+  https://medium.com/variable-fonts
+
+In desktop apps
+
+  https://theblog.adobe.com/can-variable-fonts-illustrator-cc
+  https://helpx.adobe.com/nz/photoshop/using/fonts.html#variable_fonts
+
+Online
+
+  https://developers.google.com/fonts/docs/getting_started
+  https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Fonts/Variable_Fonts_Guide
+  https://developer.microsoft.com/en-us/microsoft-edge/testdrive/demos/variable-fonts
+
+Installing fonts
+
+  MacOS: https://support.apple.com/en-us/HT201749
+  Linux: https://www.google.com/search?q=how+to+install+a+font+on+gnu%2Blinux
+  Windows: https://support.microsoft.com/en-us/help/314960/how-to-install-or-remove-a-font-in-windows
+
+Android Apps
+
+  https://developers.google.com/fonts/docs/android
+  https://developer.android.com/guide/topics/ui/look-and-feel/downloadable-fonts
+
+License
+-------
+Please read the full license text (OFL.txt) to understand the permissions,
+restrictions and requirements for usage, redistribution, and modification.
+
+You can use them in your products & projects – print or digital,
+commercial or otherwise.
+
+This isn't legal advice, please consider consulting a lawyer and see the full
+license for all details.

site/css/fonts.css

@@ -1,68 +1,99 @@
 @font-face {
     font-family: 'Heading';
-    src: url('../assets/fonts/Saira/Saira_SemiCondensed-Light.ttf') format('truetype');
+    src: url('../assets/fonts/LiterataTT/LiterataTT-DisplayRegular.woff2') format('woff2');
     font-weight: normal;
     font-style: normal;
 }
 @font-face {
     font-family: 'Heading';
-    src: url('../assets/fonts/Saira/Saira_SemiCondensed-LightItalic.ttf') format('truetype');
+    src: url('../assets/fonts/LiterataTT/LiterataTT-DisplayItalic.woff2') format('woff2');
     font-weight: normal;
     font-style: italic;
 }
 @font-face {
     font-family: 'Heading';
-    src: url('../assets/fonts/Saira/Saira_SemiCondensed-SemiBold.ttf') format('truetype');
+    src: url('../assets/fonts/LiterataTT/LiterataTT-DisplayBold.woff2') format('woff2');
     font-weight: bold;
     font-style: normal;
 }
+@font-face {
+    font-family: 'Heading';
+    src: url('../assets/fonts/LiterataTT/LiterataTT-DisplayBoldItalic.woff2') format('woff2');
+    font-weight: bold;
+    font-style: italic;
+}
+
+@font-face {
+    font-family: 'Subheading';
+    src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadRegular.woff2') format('woff2');
+    font-weight: normal;
+    font-style: normal;
+}
+@font-face {
+    font-family: 'Subheading';
+    src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadItalic.woff2') format('woff2');
+    font-weight: normal;
+    font-style: italic;
+}
+@font-face {
+    font-family: 'Subheading';
+    src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadBold.woff2') format('woff2');
+    font-weight: bold;
+    font-style: normal;
+}
+@font-face {
+    font-family: 'Subheading';
+    src: url('../assets/fonts/LiterataTT/LiterataTT-SubheadBoldItalic.woff2') format('woff2');
+    font-weight: bold;
+    font-style: italic;
+}
 
 @font-face {
     font-family: 'BodySerif';
-    src: url('../assets/fonts/Rowan_Complete/Fonts/WEB/fonts/Rowan-Regular.woff2') format('woff2');
+    src: url('../assets/fonts/STIXTwoText/STIXTwoText_Regular.otf') format('opentype');
     font-weight: normal;
     font-style: normal;
 }
 @font-face {
     font-family: 'BodySerif';
-    src: url('../assets/fonts/Rowan_Complete/Fonts/WEB/fonts/Rowan-Italic.woff2') format('woff2');
+    src: url('../assets/fonts/STIXTwoText/STIXTwoText_Italic.otf') format('opentype');
     font-weight: normal;
     font-style: italic;
 }
 @font-face {
     font-family: 'BodySerif';
-    src: url('../assets/fonts/Rowan_Complete/Fonts/WEB/fonts/Rowan-Bold.woff2') format('woff2');
+    src: url('../assets/fonts/STIXTwoText/STIXTwoText_Bold.otf') format('opentype');
     font-weight: bold;
     font-style: normal;
 }
 @font-face {
     font-family: 'BodySerif';
-    src: url('../assets/fonts/Rowan_Complete/Fonts/WEB/fonts/Rowan-BoldItalic.woff2') format('woff2');
+    src: url('../assets/fonts/STIXTwoText/STIXTwoText_BoldItalic.otf') format('opentype');
     font-weight: bold;
     font-style: italic;
 }
 
 @font-face {
     font-family: 'BodySans';
-    src: url('../assets/fonts/Open_Sans/OpenSans-Regular.ttf') format('truetype');
+    src: url('../assets/fonts/Source_Sans_3/static/SourceSans3-Regular.ttf') format('truetype');
     font-weight: normal;
     font-style: normal;
 }
 @font-face {
     font-family: 'BodySans';
-    src: url('../assets/fonts/Open_Sans/OpenSans-Italic.ttf') format('truetype');
+    src: url('../assets/fonts/Source_Sans_3/static/SourceSans3-Italic.ttf') format('truetype');
     font-weight: normal;
     font-style: italic;
 }
 @font-face {
     font-family: 'BodySans';
-    src: url('../assets/fonts/Open_Sans/OpenSans-Bold.ttf') format('truetype');
+    src: url('../assets/fonts/Source_Sans_3/static/SourceSans3-Bold.ttf') format('truetype');
     font-weight: bold;
     font-style: normal;
 }
 @font-face {
     font-family: 'BodySans';
-    src: url('../assets/fonts/Open_Sans/OpenSans-BoldItalic.ttf') format('truetype');
+    src: url('../assets/fonts/Source_Sans_3/static/SourceSans3-BoldItalic.ttf') format('truetype');
     font-weight: bold;
     font-style: italic;
 }

site/css/index.css

@@ -1,23 +1,68 @@
 @import url(fonts.css);
 
+:root {
+    --base-font-size: 1.1rem;
+}
+
+body {
+    font-size: var(--base-font-size);
+}
+
 .font-body-serif body {
-    font-family: "BodySerif", serif;
+    font-family: "BodySerif", sans-serif;
 }
 
 .font-body-sans body {
-    font-family: "BodySans", sans-serif;
+    font-family: "BodySans", serif;
 }
 
-h1, h2, h3, h4, h5, h6 {
+h1 {
-    font-family: "Heading";
+    font-family: "Subheading";
+}
+
+h2,
+h3,
+h4,
+h5,
+h6 {
+    font-family: "Subheading";
+}
+
+h1 {
+    font-size: calc(2.1 * var(--base-font-size));
+}
+
+h2 {
+    font-size: calc(1.8 * var(--base-font-size));
+}
+
+h3 {
+    font-size: calc(1.6 * var(--base-font-size));
+}
+
+h4 {
+    font-size: calc(1.4 * var(--base-font-size));
+}
+
+h5 {
+    font-size: calc(1.2 * var(--base-font-size));
+}
+
+h6 {
+    font-size: calc(1.0 * var(--base-font-size))
 }
 
 code {
     font-family: "Mono";
+    font-size: calc(0.9 * var(--base-font-size));
+}
+
+code:not(pre code) {
+    font-weight: bold;
 }
 
 .container {
-  max-width: 800px;
+    max-width: 800px;
-  margin-left: auto;
+    margin-left: auto;
-  margin-right: auto;
+    margin-right: auto;
 }

site/ytheleus.org/index.dj

@@ -0,0 +1,8 @@
+# Ytheleus | Well-Understood Programming
+
+You're at ytheleus.org, home page of the [Ytheleus](yth-name) programming language!
+
+This is not implemented yet; Ytheleus does not exist. With that out of the way, here are my vague ideas of what it should be:
+
++ It's Andreas Rossberg's 1ML, but computationally pure.
++ The implementation uses dynamic superinstructions for interpretation and compiles either via "Compiling without continuations", if I decide not to put first-class multiple-resumption continuations in the lanugage, or with CPS, otherwise.

soupault.toml

@@ -2,138 +2,135 @@
 # To learn about configuring soupault, visit https://www.soupault.app/reference-manual
 
 [settings]
-  # Soupault version that the config was written/generated for
+# Soupault version that the config was written/generated for
-  # Trying to process this config with an older version will result in an error message
+# Trying to process this config with an older version will result in an error message
-  soupault_version = "4.11.0"
+soupault_version = "4.11.0"
 
-  # Stop on page processing errors?
+# Stop on page processing errors?
-  strict = true
+strict = true
 
-  # Display progress?
+# Display progress?
-  verbose = true
+verbose = true
 
-  # Display detailed debug output?
+# Display detailed debug output?
-  debug = false
+debug = false
 
-  # Where input files (pages and assets) are stored.
+# Where input files (pages and assets) are stored.
-  site_dir = "site"
+site_dir = "site"
 
-  # Where the output goes
+# Where the output goes
-  build_dir = "serve"
+build_dir = "serve"
 
-  # Files inside the site/ directory can be treated as pages or static assets,
+# Files inside the site/ directory can be treated as pages or static assets,
-  # depending on the extension.
+# depending on the extension.
-  #
+#
-  # Files with extensions from this list are considered pages and processed.
+# Files with extensions from this list are considered pages and processed.
-  # All other files are copied to build/ unchanged.
+# All other files are copied to build/ unchanged.
-  #
+#
-  # Note that for formats other than HTML, you need to specify an external program
+# Note that for formats other than HTML, you need to specify an external program
-  # for converting them to HTML (see below).
+# for converting them to HTML (see below).
-  page_file_extensions = ["htm", "html", "md", "rst", "adoc", "dj"]
+page_file_extensions = ["htm", "html", "md", "rst", "adoc", "dj"]
 
-  # By default, soupault uses "clean URLs",
+# By default, soupault uses "clean URLs",
-  # that is, $site_dir/page.html is converted to $build_dir/page/index.html
+# that is, $site_dir/page.html is converted to $build_dir/page/index.html
-  # You can make it produce $build_dir/page.tml instead by changing this option to false
+# You can make it produce $build_dir/page.tml instead by changing this option to false
-  clean_urls = false
+clean_urls = true
 
-  # If you set clean_urls=false,
+# If you set clean_urls=false,
-  # file names with ".html" and ".htm" extensions are left unchanged.
+# file names with ".html" and ".htm" extensions are left unchanged.
-  keep_extensions = ["html"]
+keep_extensions = ["html"]
 
-  # All other extensions (".md", ".rst"...) are replaced, by default with ".html"
+# All other extensions (".md", ".rst"...) are replaced, by default with ".html"
-  default_extension = "html"
+default_extension = "html"
 
-  # Page files with these extensions are ignored.
+# Page files with these extensions are ignored.
-  ignore_extensions = ["draft", "bak"]
+ignore_extensions = ["draft", "bak"]
 
-  # Soupault can work as a website generator or an HTML processor.
+# Soupault can work as a website generator or an HTML processor.
-  #
+#
-  # In the "website generator" mode, it considers files in site/ page bodies
+# In the "website generator" mode, it considers files in site/ page bodies
-  # and inserts them into the empty page template stored in templates/main.html
+# and inserts them into the empty page template stored in templates/main.html
-  #
+#
-  # Setting this option to false switches it to the "HTML processor" mode
+# Setting this option to false switches it to the "HTML processor" mode
-  # when it considers every file in site/ a complete page and only runs it through widgets/plugins.
+# when it considers every file in site/ a complete page and only runs it through widgets/plugins.
-  generator_mode = true
+generator_mode = true
 
-  # Files that contain an <html> element are considered complete pages rather than page bodies,
+# Files that contain an <html> element are considered complete pages rather than page bodies,
-  # even in the "website generator" mode.
+# even in the "website generator" mode.
-  # This allows you to use a unique layout for some pages and still have them processed by widgets.
+# This allows you to use a unique layout for some pages and still have them processed by widgets.
-  complete_page_selector = "html"
+complete_page_selector = "html"
 
-  # Website generator mode requires a page template (an empty page to insert a page body into).
+# Website generator mode requires a page template (an empty page to insert a page body into).
-  # If you use "generator_mode = false", this file is not required.
+# If you use "generator_mode = false", this file is not required.
-  default_template_file = "templates/main.html"
+default_template_file = "templates/main.html"
 
-  # Page content is inserted into a certain element of the page template.
+# Page content is inserted into a certain element of the page template.
-  # This option is a CSS selector that is used for locating that element.
+# This option is a CSS selector that is used for locating that element.
-  default_content_selector = "main"
+default_content_selector = "main"
 
-  # You can choose where exactly to insert the content in its parent element.
+# You can choose where exactly to insert the content in its parent element.
-  # The default is append_child, but there are more, including prepend_child and replace_content
+# The default is append_child, but there are more, including prepend_child and replace_content
-  default_content_action = "append_child"
+default_content_action = "append_child"
 
-  # If a page already has a document type declaration, keep the declaration
+# If a page already has a document type declaration, keep the declaration
-  keep_doctype = true
+keep_doctype = true
 
-  # If a page does not have a document type declaration, force it to HTML5
+# If a page does not have a document type declaration, force it to HTML5
-  # With keep_doctype=false, soupault will replace existing declarations with it too
+# With keep_doctype=false, soupault will replace existing declarations with it too
-  doctype = "<!DOCTYPE html>"
+doctype = "<!DOCTYPE html>"
 
-  # Insert whitespace into HTML for better readability
+# Insert whitespace into HTML for better readability
-  # When set to false, the original whitespace (if any) will be preserved as is
+# When set to false, the original whitespace (if any) will be preserved as is
-  pretty_print_html = true
+pretty_print_html = true
 
-  # Plugins can be either automatically discovered or loaded explicitly.
+# Plugins can be either automatically discovered or loaded explicitly.
-  # By default discovery is enabled and the place where soupault is looking is the plugins/ subdirectory
+# By default discovery is enabled and the place where soupault is looking is the plugins/ subdirectory
-  # in your project.
+# in your project.
-  # E.g., a file at plugins/my-plugin.lua will be registered as a widget named "my-plugin".
+# E.g., a file at plugins/my-plugin.lua will be registered as a widget named "my-plugin".
-  plugin_discovery = true
+plugin_discovery = true
-  plugin_dirs = ["plugins"]
+plugin_dirs = ["plugins"]
 
-  # Soupault can cache outputs of external programs
+# Soupault can cache outputs of external programs
-  # (page preprocessors and preprocess_element widget commands).
+# (page preprocessors and preprocess_element widget commands).
-  # It's disabled by default but you can enable it and configure the cache directory name/path
+# It's disabled by default but you can enable it and configure the cache directory name/path
-  caching = false
+caching = false
-  cache_dir = ".soupault-cache"
+cache_dir = ".soupault-cache"
 
-  # Soupault supports a variety of page source character encodings,
+# Soupault supports a variety of page source character encodings,
-  # the default encoding is UTF-8
+# the default encoding is UTF-8
-  page_character_encoding = "utf-8"
+page_character_encoding = "utf-8"
- 
 
 # It is possible to store pages in any format if you have a program
 # that converts it to HTML and writes it to standard output.
 # Example:
 [preprocessors]
 dj = "jotdown"
-#  md = "cmark --unsafe --smart"
-#  adoc = "asciidoctor -o -"
 
 # Pages can be further processed with "widgets"
 
 # Takes the content of the first <h1> and inserts it into the <title>
 [widgets.page-title]
-  widget = "title"
+widget = "title"
-  selector = "h1"
+selector = "h1"
-  # default = "My Homepage"
+# default = "My Homepage"
-  # append = " &mdash; My Homepage"
+# append = " &mdash; My Homepage"
 
-  # Insert a <title> in a page if it doesn't have one already.
+# Insert a <title> in a page if it doesn't have one already.
-  # By default soupault assumes if it's missing, you don't want it.
+# By default soupault assumes if it's missing, you don't want it.
-  force = false
+force = false
 
 # Inserts a generator meta tag in the page <head>
 # Just for demonstration, feel free to remove
 [widgets.generator-meta]
-  widget = "insert_html"
+widget = "insert_html"
-  html = '<meta name="generator" content="soupault">'
+html = '<meta name="generator" content="soupault">'
-  selector = "head"
+selector = "head"
 
 # <blink> elements are evil, delete them all
 [widgets.no-blink]
-  widget = "delete_element"
+widget = "delete_element"
-  selector = "blink"
+selector = "blink"
 
-  # By default this widget deletes all elements matching the selector,
+# By default this widget deletes all elements matching the selector,
-  # but you can set this option to false to delete just the first one
+# but you can set this option to false to delete just the first one
-  delete_all = true
+delete_all = true