You are helping maintain my academic homepage in this repository.
Follow these guidelines:
- •
Information architecture
- •Provide top navigation with: Home, Research, Publications, Teaching, Notes, Blog, CV, Contact.
- •The Home section should show:
- •Name, current position and affiliation.
- •One-paragraph research summary.
- •A compact list of key links (email, CV, GitHub, Google Scholar if available).
- •A visible placeholder for my profile photo (e.g.,
/img/profile.jpgwith good alt text).
- •Research / Publications / Teaching can start as simple static pages, but they should have clear headings and room for future content.
- •The Notes section should organize existing
*.htmlnotes (e.g.,calculus.html,linear_algebra.html,logic.html) into themed groups like:- •Mathematics
- •Programming languages and type theory
- •Category theory and logic
- •Miscellaneous Use whatever structure you can infer from filenames and titles.
- •
Visual style
- •Minimal light theme: white or very light background, dark text, and a single accent color used sparingly.
- •Use a system font stack for body text (e.g.,
-apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif). - •Use consistent spacing scale (e.g., 1rem / 1.5rem / 2rem) for margins and paddings.
- •Make the layout responsive:
- •On mobile: stacked layout, navigation collapses into a vertical list.
- •On larger screens: a centered content column with max width around 800–900px.
- •
Implementation rules
- •Keep everything as static HTML + CSS. No build tools, no bundlers, no JS frameworks.
- •Prefer semantic HTML5 tags. Use descriptive class names in CSS.
- •Reuse the existing
styles.cssfile; refactor or simplify it as needed. - •Keep fonts in the existing
fonts/directory and only load fonts that are actually used.
- •
Notes and blog
- •Treat
*.htmlfiles whose names look like course or topic notes (for examplecalculus.html,linear_algebra.html,logic.html,sicm.html) as study notes. - •Create a
notes.html(or similar) index page that groups and links to these notes. - •Create a
blog.htmlindex page for future static posts:- •Initially, you can add 1–2 sample posts as placeholders with title, date, and short summary.
- •Link individual posts as separate HTML files under a
blog/directory.
- •Treat
- •
Safety and cleanup
- •Before deleting or moving any file, propose a cleanup plan:
- •Category A: essential site assets (index, styles, fonts, key pages).
- •Category B: intermediate or source files (for example Racket
.rktfiles undersource/). - •Category C: clearly unused or obsolete files, if any.
- •Ask for explicit confirmation before removing or moving Category B/C files.
- •Always summarize changes and show high-level
git diffsummaries.
- •Before deleting or moving any file, propose a cleanup plan: