var srcIndex = JSON.parse('{\
"art":["",[],["lib.rs"]]\
}');
createSrcSidebar();