put page headers in a div tag, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2022-09-05 02:Sep:th
Author local date 2022-09-04 19:Sep:th -0700
Committer Chris Pollett <chris@pollett.org>
Committer date 2022-09-05 02:Sep:th
Committer local date 2022-09-04 19:Sep:th -0700
Commit 4c7e19a9e914f66f38780a9081f4059556517449
Tree e612a22a2e78c62d9ef9b6b186cf9d997ce7b0fa
Parent bdf275ac183b13c2d0fc03fc0981ce5d6aaec5a2
put page headers in a div tag, a=chris
Affected files:
src/views/StaticView.php
ViewGit