in site/javascripts/extra.js [7:18]
window.onclick = function(event) {
if (!event.target.matches('.md-lang-dropbtn')) {
var dropdowns = document.getElementsByClassName("md-dropdown-content");
var i;
for (i = 0; i < dropdowns.length; i++) {
var openDropdown = dropdowns[i];
if (openDropdown.classList.contains('show')) {
openDropdown.classList.remove('show');
}
}
}
}