+<!doctype html>
+<html lang="en">
+<head>
+<meta charset="utf-8"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<!--# if expr="$title = home" -->
+<title>Amin Bandali's Personal Site</title>
+<!--# else -->
+<title><!--# echo var="title" --> — Amin Bandali</title>
+<!--# endif -->
+<link rel="icon" href="/gnu.ico"/>
+<link rel="stylesheet" href="/style.css"/>
+</head>
+<body>
+<header><!--# if expr="$title = home" -->
+<h1>Amin Bandali's Personal Site</h1>
+<!--# else -->
+<strong><a href="/">Amin Bandali</a>'s Personal Site</strong>
+<!--# endif --></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>