|
|
8eb5ad6ae4
|
Tweak theme and search
|
2017-02-23 23:15:07 +01:00 |
|
|
|
f6237b7ddb
|
Tweak search on mobile, fixes #432
|
2017-01-23 23:24:09 +01:00 |
|
|
|
6837b28e03
|
Simplified the search integration, fixed relative links
|
2016-08-04 23:13:45 +02:00 |
|
|
|
d4c78ae3f9
|
Finalize search feature for merge
|
2016-03-13 21:51:58 +01:00 |
|
|
|
61388e1c51
|
First checkin of search for static websites
|
2016-02-15 12:14:48 -08:00 |
|
