Alexander Graf
|
d533c60824
|
doc: Switch to mobile-friendlier bootstrap theme
It seems to be better supported than Alabaster and is easier to be
configured to look good on both a phone and a desktop.
|
2018-03-28 19:39:58 +02:00 |
|
Alexander Graf
|
539273b963
|
make doc more mobile-friendly
|
2018-03-24 21:47:35 +01:00 |
|
Alexander Graf
|
36110c8727
|
Disable search engine indexing on old doc hoster
|
2018-03-24 12:37:24 +01:00 |
|
Alexander Graf
|
4a944fbbdb
|
doc: meta tag to redirect to new documentation URL
|
2018-03-24 11:32:53 +01:00 |
|
Alexander Graf
|
304cde64fe
|
Link to github pages doc hosting rather than rtd
|
2018-03-13 15:11:36 +01:00 |
|
Alexander Graf
|
01e549275e
|
doc: ownership verification tag
|
2017-11-17 10:06:53 +01:00 |
|
Alexander Graf
|
e748b53b6a
|
Add layout template extension
(forgot to commit it. Sorry...)
|
2017-08-26 13:49:54 +02:00 |
|