/* Additions for the static copy of the site (Odoo's scripts are not used). */
header#top {
    position: sticky;
    top: 0;
    z-index: 1030;
}
html.x_menu_open {
    overflow: hidden;
}