switch back to hand-written html and feeds
[~bandali/bndl.org] / mmath.html
index e187918..b9dcbea 100644 (file)
@@ -1,78 +1,52 @@
-<!doctype html>
-<html lang="en">
-<head>
+<!doctype html><html lang="en"><head>
 <meta charset="utf-8" />
 <meta name="author" content="bandali" />
 <meta name="viewport" content="width=device-width, initial-scale=1" />
 <title>master of mathematics &mdash; bandali</title>
-<link rel="canonical" href="https://bndl.org/mmath.html" />
+<link rel="icon" href="data:,">
+<link rel="canonical" href="https://bndl.org/mmath" />
 <link rel="alternate" href="bandali-mmath.txt" title="plain text" type="text/plain" />
 <style>
-body {
-  line-height: 1.6;
-  max-width: 37.5em;
-  margin: 0 auto;
-  padding: 0 1em;
-}
-details { margin: 1em 0; }
-details summary { cursor: pointer; }
-#copy { font-size: 0.84em; }
-#copy p { padding: 0 2em; }
-blockquote { text-align: justify; }
-.tex {
-  font-family: "Tex Gyre Termes", serif;
-  text-transform: uppercase;
-}
-.tex sub {
-  font-size: 1em;
-  margin-left: -0.1667em;
-  margin-right: -0.125em;
-  vertical-align: -0.5ex;
-}
-.tex sup {
-  font-size: 0.85em;
-  margin-left: -0.36em;
-  margin-right: -0.15em;
-  vertical-align: 0.15em;
-}
-.box {
-  background: #f8f8f8;
-  border: 1px solid #e6e6e6;
-  border-radius: 4px;
-  font-size: 0.95em;
-  padding: 0.6em 0.9em;
-}
-@media (prefers-color-scheme: dark) {
-  body { background: #1c1c1c; color: white; }
-  a:link { color: #acdeff; }
-  a:visited { color: #f8f; }
-  a:active { color: #e00; }
-  .box { background: #1b1d1e; border-color: #373c34; }
-}
-</style>
-</head>
+body{line-height:1.6;padding:0 2em;}p,details{max-width:37.5em}
+.box{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:4px;
+font-size:0.95em;padding:0.6em 0.9em;}
+details{margin:1em 0}details summary{cursor:pointer}
+blockquote{text-align:justify}
+.tex{font-family:"Tex Gyre Termes",serif;text-transform:uppercase;}
+.tex span{font-size:0.75em;margin-left:-0.05em;margin-right:-0.20em;}
+.tex sub{font-size:1em;margin-left:-0.1667em;margin-right:-0.125em;
+vertical-align:-0.5ex;}.tex sup{font-size:0.85em;margin-left:-0.36em;
+margin-right:-0.15em;vertical-align:0.15em;}
+#copy,#license{font-size:0.84em;line-height:1.3;}
+#copy{margin-bottom:0.5em}#license{margin-top:0.5em}
+@media(prefers-color-scheme:dark){body{background:#1c1c1c;color:white;}
+a:link{color:#acdeff}a:visited{color:#f8f}a:active{color:#e00}
+.box{background:#1b1d1e;border-color:#373c34;}}
+</style></head>
 <body>
 <h1><a href=".">bandali</a>'s master of mathematics</h1>
 
 <p>I graduated from the University of Waterloo with the degree of
-Master of Mathematics in Computer Science in Spring 2020.  My research
-at the <a href="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
+Master of Mathematics in Computer Science in Spring 2020.
+My research at
+the <a href="https://watform.uwaterloo.ca">Waterloo Formal Methods</a>
 group focused on formal logic, model checking, and verification; under
-supervision of
-<a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.</p>
+supervision
+of <a href="https://cs.uwaterloo.ca/~nday/">Prof. Nancy Day</a>.</p>
+
 
 <h2>A Comprehensive Study of Declarative Modelling Languages</h2>
 
-<!-- <p><em>Jump to:</em>
+<p><em>Jump to:</em>
 <a href="#thesis">thesis</a> |
 <a href="#presentation">presentation</a> |
-<a href="#models">models</a></p> -->
+<a href="#models">models</a></p>
 
 <h3 id="thesis">Thesis</h3>
 
 <p>Reference version:
 <a href="https://p.bndl.org/bandali-mmath-thesis.pdf">pdf</a> |
-<a href="bandali-bib.html#bandali2020">bib</a><br/>
+<a href="bandali.bib">bib</a><br />
 
 <span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> sources:
 <a href="https://p.bndl.org/bandali-mmath-thesis.tar.gz">tar.gz</a> |
@@ -146,7 +120,7 @@ archives linked above.</p>
 <h3 id="presentation">Presentation</h3>
 
 <p>Reference version:
-pdf (coming soon)<br/>
+pdf (coming soon)<br />
 <span class="tex">L<sup>a</sup>T<sub>e</sub>X</span> sources:
 tar.gz | zip (coming soon)</p>
 
@@ -161,12 +135,10 @@ on the Cheriton School of Computer Science website.</p>
 tar.gz | zip (coming soon)</p>
 
 <hr />
-<details id="copy">
-<summary>Copyright &copy; 2020 bandali</summary>
-<p>Copying and distribution of this file, with or without
+<p id="copy">Copyright &copy; 2020 bandali</p>
+<p id="license">Copying and distribution of this file, with or without
 modification, are permitted in any medium without royalty provided the
 copyright notice and this notice are preserved.  This file is offered
 as-is, without any warranty.</p>
-</details>
 </body>
 </html>