summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoreudoxia <uplink@distress.network>2021-11-10 16:57:14 -0500
committereudoxia <uplink@distress.network>2021-11-10 16:57:14 -0500
commitce12a65e8914e0bb327a83c25ea9cd3848d41b02 (patch)
tree506f527ba74a1c10b07e7897f4752d253d4b63e5
parente4e1e809cf16c3246a6061719a5995c155d6d0c3 (diff)
todo: removed 1 task, added 1 task
-rwxr-xr-xmeta/todo/index.html19
-rwxr-xr-xmeta/todo/src.md8
-rwxr-xr-xsitemap.xml2
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 &mdash; 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>