Oliver 433ea4d0de Documentation Improvements (#4894) ... * Improvements for version banner - Display at the bottom of the page - Simplify text * Use mkdocs version provider * use 'navigation.instant' * Support modern mkdocs features - Much better navigation and improved features * Content changes * Add code to find previous versions * Remove modern python syntax * display output codes * Hide version banner * Extra debug message * update terminology.md		2023-05-25 22:42:16 +10:00
..
outdated.html	Documentation integration (#4653)	2023-04-22 22:40:29 +10:00
version_banner.html	Documentation Improvements (#4894)	2023-05-25 22:42:16 +10:00