diff options
Diffstat (limited to 'meta/todo/index.html')
-rwxr-xr-x | meta/todo/index.html | 19 |
1 files changed, 2 insertions, 17 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> |