ca75370c9d
mermaid js bump
...
Remove outdated mermaid js
remove the second instance from scripts
2024-01-10 00:56:39 +05:30
b805720e03
Fix docs mobile layout ( #42943 )
...
* fix docs mobile layout
* Update js to disable splitter on mobile
* fix mobile and desktop layout
2023-09-08 11:10:15 -07:00
589d67a7fa
Split the doc view
...
This PR adds a splitter so that the navigation panel can be resized.
2023-08-02 09:54:41 +08:00
61a1ec21b5
Fix Mermaid render problem
2022-08-31 14:49:00 -07:00
e66d19ff6e
Improve message shown for Mermaid when JS not enabled
2021-12-21 18:54:46 +00:00
b3214813a4
Cache scripts locally
...
The current layout partial is using scripts from a site not accessible
from behind the dam great firewall. This is a fix to cache the scripts
as we do before so that tabs, top menu works for everyone.
2021-01-31 21:58:42 +08:00
Gauravpadam
Priyanshu Chaudhary
Qiming Teng
chrismetz09
Tim Bannister