Fix broken tabs after mkdocs update

2 jobs for master in 3 minutes and 3 seconds (queued for 2 seconds)