-<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8"/>
-<meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Amin Bandali's Personal Site</title>
-<link rel="icon" href="/gnu.ico"/>
-<link rel="stylesheet" href="/style.css"/>
-</head>
-<body>
-<header>
-<h1>Amin Bandali's Personal Site</h1>
-</header>
-<nav>
-<ul>
-<li><a href="/#papers">Publications</a></li>
-<li><a href="/#projects">Projects</a></li>
-<li><a href="/#notes">Notes</a></li>
-<li><a href="/cv" title="curriculum vitae">CV</a></li>
-<li><a href="/contact">Contact</a></li>
-</ul>
-</nav>
-<main>
+<!--# set var="title" value="home" -->
+<!--# include virtual="/ssi/pre.html" -->
<section id="intro">
<p>Hi, I'm Amin. I am currently a graduate student at the
<a href="//watform.uwaterloo.ca">Waterloo Formal Methods</a>
</tbody>
</table>
</section>
-</main>
-<footer>
-<p>Copyright © 2016–2019 Amin Bandali. See the
-<a href="/license">license conditions</a>. Please copy and share.</p>
-</footer>
-</body>
-</html>
+<!--# set var="copy" value="2016–2019" -->
+<!--# include virtual="/ssi/post.html" -->