Commit graph

158 commits

Author SHA1 Message Date
Griatch
0123679163 Correct for hash-indexing in auto-relinker 2020-06-17 23:42:47 +02:00
Griatch
73e0eff1d2 Update to auto relinker 2020-06-17 23:24:04 +02:00
Griatch
4fa09d6153 Update to pylib utils 2020-06-17 23:05:22 +02:00
Griatch
b6e929bc66 Reorganize docs into flat folder layout 2020-06-17 18:06:41 +02:00
Griatch
a61918c6e1 Minor tweak to index 2020-06-17 16:49:39 +02:00
Griatch
84a70f6286 Shrink code font size a little 2020-06-16 22:47:00 +02:00
Griatch
ab613e97f7 Fix font family 2020-06-16 22:17:18 +02:00
Griatch
c1dbcfd15b Change fonts 2020-06-16 21:41:12 +02:00
Griatch
c48391e252 Make background warmer hue 2020-06-16 19:00:47 +02:00
Griatch
2655079863 Fix bullet-point indents 2020-06-16 17:23:28 +02:00
Griatch
977d2dc65d Add breadcrumbs template 2020-06-16 16:55:20 +02:00
Griatch
fb69aed15f Add breadcrumbs. Format markdown files to char width 100 2020-06-16 16:53:35 +02:00
Griatch
0cf108bafb Start adding fmtwidth helper 2020-06-16 15:31:15 +02:00
Griatch
c3c50e31b5 Ran black on sources 2020-06-16 14:50:02 +02:00
Griatch
2db063157e Further fix to CSS 2020-06-16 14:49:03 +02:00
Griatch
746c620100 Some more refactoring 2020-06-16 09:33:41 +02:00
Griatch
30db37b5b7 Make proper warning pane 2020-06-15 21:50:07 +02:00
Griatch
b3dd64178e Fix vertical height in css 2020-06-15 21:41:46 +02:00
Griatch
d3859e9728 Further CSS tweaks 2020-06-15 21:30:49 +02:00
Griatch
68b6461586 Further CSS tweaks 2020-06-15 20:54:20 +02:00
Griatch
04f996a428 Fixing CSS issue 2020-06-15 20:26:24 +02:00
Griatch
4e36f0d862 Customize CSS 2020-06-15 20:08:00 +02:00
Griatch
eeac092439 Add doc-contribution page, toctree-creation mechanism 2020-06-14 21:45:37 +02:00
Griatch
7aa0ed8b8c Update readme 2020-06-14 20:19:31 +02:00
Griatch
d949f43c85 Cleaned up doc config file 2020-06-14 11:45:31 +02:00
Griatch
5ca08041a3 Add favicon file 2020-06-13 23:25:37 +02:00
Griatch
c7c508b782 Move back the _static/_templates dirs 2020-06-13 23:10:42 +02:00
Griatch
274e7d927d Test with different static/template format 2020-06-13 22:57:07 +02:00
Griatch
621efe8e40 Correct deploy message 2020-06-13 12:41:55 +02:00
Griatch
658b400afa Merge branch 'master' into develop 2020-06-13 12:37:07 +02:00
Griatch
e29ae1bc93 Update doc-deploy file 2020-06-13 12:35:06 +02:00
Griatch
2d51710d6f Make sure latest link is in github 2020-06-13 12:27:45 +02:00
Griatch
b48b988883 fix again of path 2020-06-13 12:21:34 +02:00
Griatch
00f8eed8ca Alternative deploy 2020-06-13 10:52:40 +02:00
Griatch
e26784fd4a Merge dev version of doc-deploy 2020-06-13 10:51:17 +02:00
Griatch
8f257184f6 Fix to deploy 2020-06-13 10:49:55 +02:00
Griatch
ce18d714de Resolve merge conflicts 2020-06-13 10:45:46 +02:00
Griatch
44f5df2e2c Changes to deploy mechanism 2020-06-13 10:43:28 +02:00
Griatch
3721d42f2c Another fix to symlink 2020-06-13 01:05:49 +02:00
Griatch
ba9b33b4fd Fix softlink 2020-06-13 01:01:45 +02:00
Griatch
565dea6956 Another deploy tweak 2020-06-13 00:55:47 +02:00
Griatch
0a58033e40 Further tweak to deployment 2020-06-13 00:40:36 +02:00
Griatch
7f5881cd02 Tweak deploy process 2020-06-13 00:34:37 +02:00
Griatch
122394fc72 Add more docs to makefile 2020-06-13 00:23:56 +02:00
Griatch
fedd01e844 fix of deploy 2020-06-13 00:19:14 +02:00
Griatch
b732d09dd2 Fix to makefile 2020-06-13 00:13:16 +02:00
Griatch
18ca93ea9f [fix] Disable deploy temporarily 2020-06-13 00:07:58 +02:00
Griatch
0b5e6e5314 Add develop branch doc intro 2020-06-12 23:50:47 +02:00
Griatch
c4cc046087 Another round of merge conflict fix 2020-06-12 22:44:22 +02:00
Griatch
123d9408d4 Resolve merge conflicts 2020-06-12 22:42:46 +02:00