This site renders markdown files from content/ directly in the browser.
- Edit the relevant markdown file in
content/. - Refresh the page. The update is reflected immediately.
- Deploy with
./sync.sh.
For local preview, run:
./start-site.shThis starts a local HTTP server and opens http://127.0.0.1:8000/index.html.
Do not open the html files directly via file://.
content/about.md: homepage about sectioncontent/news.md: news entriescontent/publications.md: publication listcontent/projects.md: projects pagecontent/team.md: students and team pagecontent/services.md: service pagecontent/teaching.md: teaching pagecontent/hiring.md: PhD hiring page
The runtime renderer supports a small markdown subset:
- Paragraphs
###subheadings- Bulleted lists with
- - Links like
[text](url) - Bold like
**text** - Italic like
*text* - Inline code like
`text` - Escaped punctuation like
\*
For multi-line list items such as publications, indent continuation lines by two spaces.