diff options
author | eudoxia <uplink@distress.network> | 2021-11-10 16:57:14 -0500 |
---|---|---|
committer | eudoxia <uplink@distress.network> | 2021-11-10 16:57:14 -0500 |
commit | ce12a65e8914e0bb327a83c25ea9cd3848d41b02 (patch) | |
tree | 506f527ba74a1c10b07e7897f4752d253d4b63e5 | |
parent | e4e1e809cf16c3246a6061719a5995c155d6d0c3 (diff) |
todo: removed 1 task, added 1 task
-rwxr-xr-x | meta/todo/index.html | 19 | ||||
-rwxr-xr-x | meta/todo/src.md | 8 | ||||
-rwxr-xr-x | sitemap.xml | 2 |
3 files changed, 4 insertions, 25 deletions
diff --git a/meta/todo/index.html b/meta/todo/index.html index c208a47..a54b827 100755 --- a/meta/todo/index.html +++ b/meta/todo/index.html @@ -10,7 +10,7 @@ <link rel="icon" type="image/png" sizes="16x16" href="/favicon/favicon-16x16.png"> <link rel="manifest" href="/favicon/site.webmanifest"> <title>To Do — DistressNetwork°</title> -<meta http-equiv="last-modified" content="2021-10-24 02:27:20-04:00" /> +<meta http-equiv="last-modified" content="2021-11-10 16:56:02-05:00" /> </head> <body> <div class="contentlevel"> @@ -18,22 +18,7 @@ <div class="leading">To Do:</div> <hr> <ul> -<li>Potentially use (server-side) <a href="https://katex.org/">KaTeX</a> for math rendering - -<ul> -<li>pros: - -<ul> -<li>better overall appearance</li> -<li>probably easier to automate</li> -</ul></li> -<li>cons: - -<ul> -<li>23 kilobytes of CSS</li> -<li>node</li> -</ul></li> -</ul></li> +<li>Update web docs with KaTeX info</li> <li>Create formal (meta-)specification for formal grammar specifications</li> </ul> </main> diff --git a/meta/todo/src.md b/meta/todo/src.md index e017d97..db066fa 100755 --- a/meta/todo/src.md +++ b/meta/todo/src.md @@ -2,11 +2,5 @@ title: To Do leading: To Do: opts: h -- Potentially use (server-side) [KaTeX](https://katex.org/) for math rendering - - pros: - - better overall appearance - - probably easier to automate - - cons: - - 23 kilobytes of CSS - - node +- Update web docs with KaTeX info - Create formal (meta-)specification for formal grammar specifications diff --git a/sitemap.xml b/sitemap.xml index 1dff882..9b6533f 100755 --- a/sitemap.xml +++ b/sitemap.xml @@ -12,7 +12,7 @@ xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> <url><loc>https://distress.network/meta/styletest/</loc><lastmod>2021-11-10T15:52:15-05:00</lastmod></url> -<url><loc>https://distress.network/meta/todo/</loc><lastmod>2021-10-24T02:27:20-04:00</lastmod></url> +<url><loc>https://distress.network/meta/todo/</loc><lastmod>2021-11-10T16:56:02-05:00</lastmod></url> <url><loc>https://distress.network/software/</loc><lastmod>2021-08-25T00:36:43-04:00</lastmod></url> |