11 Commits

Include renames

Author	SHA1	Message	Date
Dan Helfman	c5732aa4fc	Fix home page CSS layout to prevent overflow at certain window widths (#777).	2023-10-27 14:12:35 -07:00
Dan Helfman	2453ecad42	More documentation updates based on section removal (#721).	2023-07-11 22:10:57 -07:00
Divyansh Singh	6054ced931	fix: run typos	2023-04-01 22:10:32 +05:30
Divyansh Singh	db18364a73	fix: remove extra dark mode styles	2023-03-05 03:16:46 +05:30
Dan Helfman	ecc849dd07	Move Gitea hosting from a personal namespace to an organization.	2021-09-14 11:32:01 -07:00
Luke HsiaoandGitHub	5d82b42ab8	Fix link to issue tracker in documentation ... Fixes: a1d986d952	2021-03-18 17:26:37 -07:00
Dan Helfman	a1d986d952	Replace "improve this documentation" form with link to support and ticket tracker.	2020-12-24 14:57:51 -08:00
Dan Helfman	79d4888e22	Add documentation navigation links on left side of all documentation pages.	2020-08-21 14:27:47 -07:00
Dan Helfman	6bfa0783b9	Clarify that the documentation suggestion form is only for documentation.	2019-12-17 20:16:13 -08:00
Dan Helfman	f573c1810a	Add a suggestion form to all documentation pages, so users can submit ideas for improving the documentation.	2019-10-10 14:27:48 -07:00
Dan Helfman	9c9be65b2b	Add files for building documentation into a Docker image for web serving.	2019-05-20 11:41:39 -07:00