Search on Help page

Solved489 viewshelp
4
0 Comments

The help page seems to have lost the possibility to search.
https://docs.dataminer.services/user-guide/Getting_started/Getting_Started.html

There is now a Toggle Navigation button, but clicking it doesn't do anything for me.
Is this page under construction?

Jeroen Geldhof [SLC] [DevOps Enabler] Selected answer as best 4th April 2023

2 Answers

13
4.50K 1 Comment

There is a temporary issue with the template, which should hopefully be fixed very soon (with any luck, in about 15 minutes).

Ben Vandenberghe [SLC] [DevOps Enabler] Posted new comment 4th April 2023
4
8.64K 0 Comments

There was an issue reported earlier on docs.dataminer and the problem is being tackled, so this should be fixed soon.

Ben Vandenberghe [SLC] [DevOps Enabler] Answered question 4th April 2023