 currentTheme);

    if (currentTheme === 'dark' && toggleSwitch !== null) {
      toggleSwitch.checked = true;
    }
  }
}

window.addEventListener('DOMContentLoaded', main);
</script>

</head>
<body>
<div class="document" id="documentId">
  <div class="container">
    <h1 class="title">Index</h1>
    Modules: <a href="tokaraxpkg/convert.html">tokaraxpkg/convert</a>.<br/><p /><h2>API symbols</h2>
<dl><dt><a name="toKarax" href="#toKarax"><span>toKarax:</span></a></dt><dd><ul class="simple">
<li><a class="r