Skip to content

Fix #10824 Adjust placement of Search and TOC button #3523

Fix #10824 Adjust placement of Search and TOC button

Fix #10824 Adjust placement of Search and TOC button #3523

Triggered via pull request February 20, 2025 11:33
Status Success
Total duration 9m 29s
Artifacts

CI.yml

on: pull_request
Fit to window
Zoom out
Zoom in