* Add pipeline to documentation homepage.
* Fix for mobile devices.
* Add little pipelines to go at the top of each page.
* Overhaul index page.
* Overhaul README to remove redundant material.
* Add installation documentation.
* Update pipelines.
* Allow nesting of deeper details.
* Add a pipeline to the top of the load/save page.
* Add prerequisites link to main pipeline.
* Add better but not finished sidebar.
* Add a couple new documentation pages.
* Fix URLs in svg.
* Incremental checkin.
* Fix Youtube URLs.
* Incremental checkin.
* Minor fixes.
* Add first pass at evaluation/deployment pages.
* Minor spacing and link fixes.
* Flesh out a number of additional pages and write basic compilation documentation.
* Fix some minor issues, and add Docker deployment page (not totally finished yet).
* Add developer documentation landing page.
* Hopefully getting close to the final set of changes here.
* Remove this documentation for now.
* Fix a few links, and the size of the sidebar.
* Fix some additional links.
* Fix a bunch more links.
* Fix another link that now has a better place.
* Refactor test-docs.sh to handle documentation that is a standalone program.
* Fix file exclusions.
* Fully qualify typename.
* Update name of file.
* Fix syntax error.
* Remove files that are not meant to be compiled.
* Also skip the quickstart.
* Move quickstart entry to the top.
* Remove gray coloring of binding documentation.
* Update name of sidebar link.
* Update to working link.
* Fix Wikipedia anchor.
With newer standards the readability of template heavy code can
be improved a lot by using a form with trailing _t for ::type and
_v for ::value respectively. Especially for ::type it also makes
the additional typename before the trait dispensable.
This PR combines multiple commits that modernize the traits,
starting with what clang-tidy could achieve while analyzing test files
and continuing by regex replaces with few manual corrections.
While it does not guarantee that all current occurrences are modernized,
it moves the codebase considerably into the modern direction. Note that
also before this PR both notations were used, so missing a few should
be acceptable.