ev):
    sel = ev.target
    new_lang = sel.options[sel.selectedIndex].value
    elts = document.location.href.split("?")
    document.location.href = elts[0] + f"?lang={new_lang}"

for elt in document.select("select.language"):
    elt.bind('change', ch_lang)

# underline links in page text, but not in the upper banner
for elt in document.select("a"):
    if not elt.classList.contains("banner"):
        elt.style.textDecoration = "underline"
</script>


<title>Brython</title>
<link rel="stylesheet" href="d