Commit Graph

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
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