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