Historique des commits

Auteur SHA1 Message Date
  Michael Siegel fc5ebfc887 Finalize draft of new header il y a 4 ans
  Michael Siegel 6ad6b7f973 Use new logo variant in header (with adjusted dimensions) il y a 4 ans
  Michael Siegel ba75eff8d9 Add ARIA role for header il y a 4 ans
  Michael Siegel 1b78e76689 Implement prototype of a better page header il y a 4 ans
  Michael Siegel 21e5a63e3b `mk_nav()`: Add divs around navigation links for better styling options il y a 4 ans
  Michael Siegel 08f6732f8f Add Testbed and sub-pages to site navigation il y a 4 ans
  Michael Siegel f24713e57a Simplify `_mk_nav()` a tiny bit il y a 4 ans
  Michael Siegel 4ab102f91b Fix invalid markup; break style il y a 4 ans
  Michael Siegel ebd497329c Use `_get_page_title()` to make link texts in navigation menu il y a 4 ans
  Michael Siegel 65470b3148 Sanitize `_get_page_title()` il y a 4 ans
  Michael Siegel c0d32c321c Factor getting page title from input file out into a function il y a 4 ans
  Michael Siegel 45b6b3cb30 Revise generation of backpath il y a 4 ans
  Michael Siegel eefa7d7a28 Fix generation of sub-page links in navigation menu il y a 4 ans
  Michael Siegel 530287bdf4 Revise HTML for navigation menu il y a 4 ans
  Michael Siegel f3f3fb669e Fix HTML for navigation menu il y a 4 ans
  Michael Siegel b6e40485d0 Fix sub-page link paths (Part I) il y a 4 ans
  Michael Siegel e6986ea1ac Introduce a better way to handle page branches il y a 4 ans
  Michael Siegel d6605bf298 Add comments on how to improve '_mk_nav' il y a 4 ans
  Michael Siegel 6873411903 Rename 'nav1' 'site_nav' il y a 4 ans
  Michael Siegel 8cbc248a25 Put '_mk_nav' to use; remove superfluous code from '_mk_header' il y a 4 ans
  Michael Siegel 8d29c931ed Introduce new function '_mk_nav' il y a 4 ans
  Michael Siegel 8525c0d3bd Minor adjustments to HTML footer il y a 4 ans
  Michael Siegel e3113adae9 Sanitize HTML footer markup il y a 4 ans
  Michael Siegel 2873f13fea Slightly refactor HTML header to allow for more systematic CSS il y a 4 ans
  Michael Siegel b1e5eab567 Add a few helpful comments to HTML header and footer il y a 4 ans
  Michael Siegel 1828f2d2de Improve an error message il y a 4 ans
  Michael Siegel 278d246900 Clean up comments il y a 4 ans
  Michael Siegel 42a1be7a6a _probe_toolbox(): Check for actual executability of external commands il y a 4 ans
  Michael Siegel 9bc65a0eae Minor adjustments to build script il y a 4 ans
  Michael Siegel 45e95d907d Improve _abort() il y a 4 ans