[Koha-devel] CSS on download.koha-community.org is borken

hi team can someone fix the CSS on https://download.koha-community.org please? (i don't have perms) a quick fix is to remove the following elements... <div class="main-nav"> ... </div> i fixed debian.koha-community.org using this technique cheers, Mason