Files
Mujoco_WASM/doc/templates/layout.html
T
Saran Tunyasuvunakool 1f7eaae62e Version 2.1: documentation, public API headers, and sample programs.
PiperOrigin-RevId: 403900419
2021-10-18 12:35:33 +01:00

22 lines
760 B
HTML

{% extends "!layout.html" %}
{% block htmltitle %}
<link rel=“preconnect” href=“https://fonts.googleapis.com“ crossorigin>
<link rel=“preconnect” href=“https://fonts.gstatic.com” crossorigin>
{{ super() }}
{% endblock %}
{% block scripts %}
{{ super() }}
{# Override home link to point to MuJoCo homepage.
Ideally this would be done as part of the theme rather than in JS.
#}
<script>
document.addEventListener('DOMContentLoaded', (event) => {
let home_link = document.querySelector('a.icon');
{# Be extra safe and don't break the page if theme changes and querySelector can't match. #}
if (home_link) {
home_link.href="https://mujoco.org";
}
});
</script>
{% endblock %}