<style>
table.perf td{
    padding-right: 2em;
    font-size: 0.8em;
}
</style>

<noscript>Please enable Javascript to view this page correctly.</noscript>

<script type="text/javascript" src="/src/brython.js"></script>

<script type="text/python3">
"""Code for the header menu"""
from browser import document, html
import header

qs_lang, language = header.show()

document["content"].html = document[f"content_{language}"].html

if qs_lang:
    document[f"c_{qs_lang}"].href += f"?lang={qs_lang}"

def ch_lang(