12 Commits

Author	SHA1	Message	Date
Ed Ward	da762c68fe	Visually nicer 'edit in github' and nav bar	2017-06-12 12:39:12 +02:00
Ed Ward	bc1078a91e	Adding a link to edit in GitHub	2017-06-11 12:02:42 +02:00
Ed Ward	3c95349126	Removed a reference to an outdated CSS	2017-04-23 07:47:34 -07:00
Ed Ward	484ec91eec	Reworked the Region context menu to de-duplicate	2017-04-18 15:16:31 -07:00
Ed Ward	a28590c561	Update to bootstrap 3.3, minor tweaks	2017-04-18 15:16:31 -07:00
Ed Ward	0e1b433642	Responsive Search bar	2017-04-09 07:59:58 -07:00
Ed Ward	fe449a5228	Refining the CSS, changed the search to Duckduckgo, search filed in the sidebar, localized font	2017-03-28 11:13:12 +02:00
Ed Ward	75b4514f77	tweaking the CSS (GCSE, HiDPI)	2017-03-26 16:55:59 +02:00
Ed Ward	fdf05235b4	Documenting Session > Archive... and adding breadcrumbs to build.py	2017-02-24 13:23:51 +01:00
Shamus Hammons	d64781b7c2	New build system for documentation. ... The new build system is documented in README.md, take a look to see the nitty gritty. Major changes are: structure of the document is no longer controlled by the filesystem, internal links are now 'unbreakable'.	2017-02-13 22:02:43 +01:00
Paul Davis	ac92ade0dc	Revert "New build system for documentation." ... This reverts commit 178bba3b52.	2017-02-13 17:00:40 +01:00
Shamus Hammons	178bba3b52	New build system for documentation. ... The new build system is documented in README.md, take a look to see the nitty gritty. Major changes are: structure of the document is no longer controlled by the filesystem, internal links are now 'unbreakable'.	2017-02-13 16:18:28 +01:00