From 87ee85ff36d7b0f036c762093f71899a5baa6e53 Mon Sep 17 00:00:00 2001
From: Paolo Insogna <paolo@cowtech.it>
Date: Fri, 18 Mar 2022 13:26:06 +0100
Subject: [PATCH] doc: use better attribute

Co-authored-by: Antoine du Hamel <duhamelantoine1995@gmail.com>
---
 doc/api_assets/api.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/api_assets/api.js b/doc/api_assets/api.js
index 546722cd908ce7..7bd7f646631eb0 100644
--- a/doc/api_assets/api.js
+++ b/doc/api_assets/api.js
@@ -119,7 +119,7 @@ function setupStickyHeaders() {
 }
 
 // Check if we have JavaScript support
-document.querySelector(':root').classList.add('has-js');
+document.documentElement.classList.add('has-js');
 
 // Restore user mode preferences
 setupTheme();