4 <meta charset=
"utf-8"/>
5 <meta name=
"viewport" content=
"width=device-width, initial-scale=1"/>
6 <!--# if expr="$title = home" -->
7 <title>Amin Bandali's Personal Site
</title>
9 <title><!--# echo var="title" --> — Amin Bandali
</title>
11 <link rel=
"icon" href=
"/gnu.ico"/>
12 <link rel=
"stylesheet" href=
"/style.css"/>
15 <header><!--# if expr="$title = home" -->
16 <h1>Amin Bandali's Personal Site
</h1>
18 <strong><a href=
"/">Amin Bandali
</a>'s Personal Site
</strong>
19 <!--# endif --></header>
22 <li><a href=
"/#papers">Publications
</a></li>
23 <li><a href=
"/#projects">Projects
</a></li>
24 <li><a href=
"/#notes">Notes
</a></li>
25 <li><a href=
"/cv" title=
"curriculum vitae">CV
</a></li>
26 <li><a href=
"/contact">Contact
</a></li>