@@ -39,21 +39,6 @@ function searchDoc(lang, inputId, selectId) {
3939 document . location . replace ( searchUrl ) ;
4040}
4141
42- function applyNavMenuData ( dataId , groupId , minItems ) {
43- let dataElement = document . getElementById ( dataId ) ;
44- if ( ! dataElement || dataElement . children . length < minItems ) {
45- document . getElementById ( groupId ) ?. querySelector ( 'button' ) ?. classList . add ( 'disabled' ) ;
46- } else {
47- let ul = document . getElementById ( groupId ) ?. querySelector ( 'ul' ) ;
48- if ( ul ) {
49- ul . replaceChildren ( ...dataElement . childNodes ) ;
50- if ( ul . childNodes . length > 20 ) {
51- ul . classList . add ( 'pre-scrollable' ) ;
52- }
53- }
54- }
55- }
56-
5742( function ( ) {
5843 let nav = document . getElementById ( 'doc-nav-data' ) ;
5944
@@ -89,6 +74,28 @@ function applyNavMenuData(dataId, groupId, minItems) {
8974 nav . appendChild ( data ) ;
9075 }
9176
77+ function applyNavMenuData ( dataId , groupId , minItems ) {
78+ let dataElement = document . getElementById ( dataId ) ;
79+ if ( ! dataElement || dataElement . children . length < minItems ) {
80+ document . getElementById ( groupId ) ?. querySelector ( 'button' ) ?. classList . add ( 'disabled' ) ;
81+ } else {
82+ let ul = document . getElementById ( groupId ) ?. querySelector ( 'ul' ) ;
83+ if ( ul ) {
84+ ul . replaceChildren ( ...dataElement . childNodes ) ;
85+ if ( ul . childNodes . length > 20 ) {
86+ ul . classList . add ( 'pre-scrollable' ) ;
87+ }
88+ }
89+ }
90+ }
91+
9292 applyNavMenuData ( 'doc-siblings-data' , 'doc-nav-siblings' , 2 ) ;
9393 applyNavMenuData ( 'doc-children-data' , 'doc-nav-children' , 1 ) ;
9494} ) ( ) ;
95+
96+ window . MathJax = {
97+ options : {
98+ processHtmlClass : 'tex' ,
99+ ignoreHtmlClass : '.*'
100+ }
101+ } ;
0 commit comments