Evo Stamatov b61dad1b51

Make docs headings sticky (#7703) ...

* make headings sticky

* fix anchors position under the sticky headings

2021-11-11 10:29:50 +02:00

..

css

Make docs headings sticky (#7703)

2021-11-11 10:29:50 +02:00

highlight

Merge branch 'gh-pages' into master-docs

2016-08-18 11:27:28 +02:00

images

Docs(home): add OSM logo to "trusted by the best" section (#6360)

2018-10-26 07:55:21 +04:00

js

doc: run hljs on all documentation pages (#6885)

2019-11-11 09:55:57 +02:00