Felix Lange 76bc99158d [DOCS] add search box (#20251) ...

This adds a search box (powered by DuckDuckGo site search) to the
navbar.

2019-11-07 15:25:36 +01:00

..

custom

[DOCS] add search box (#20251)

2019-11-07 15:25:36 +01:00

bootstrap.min.css

Replace auto generated crap with custom site

2016-11-14 17:07:13 +02:00

flatly.min.css

Replace auto generated crap with custom site

2016-11-14 17:07:13 +02:00

font-awesome.min.css

Replace auto generated crap with custom site

2016-11-14 17:07:13 +02:00

highlight.min.css

Minor polishes, auto loading and syntax highlight.

2017-01-05 17:19:42 +02:00