/* Estilos para la vista web */
body {
    margin: 0;
    padding: 0;
    font-weight: normal;
    font-size: 13px;
    min-height: 100vh;
}
.container {
    width: 100%;
    margin: -20px auto 0 auto; /* antes 0 auto */
    padding: 0 20px 20px 20px; /* antes padding: 20px; */
    box-sizing: border-box;
}
div#main-body {
    transition: padding-right 0.3s ease;
}

/* Estilos para el encabezado */
body > header {
    position: sticky;
    text-align: center;
    display: flex;
    flex-direction: row;
    justify-content: space-between;
    align-items: center;
    padding: 0 15px;
    z-index: 99;
}
pre {
    max-width: 100%;
    overflow: scroll;
}

/* Estilos para el contenido principal */
.content {
    margin-top: 20px;
}

/* Estilos para el pie de página */
body > footer {
    text-align: center;
    padding: 6px 0;
    position: fixed;
    bottom: 0;
    width: 100%;
    z-index: 99;
}
.languageSelector {
    width: 100px;
}

/** Media query para únicamente móvil */
@media only screen and (max-width: 768px) {
    body > footer {
        padding: 12px 0;
    }
}

/* Media query para tablets */
/* @media only screen and (min-width: 768px) and (max-width: 991px) backup */
@media only screen and (min-width: 768px) {
    /* Estilos específicos para tablets */
    body > header {
        padding: 0 25px;
    }
    .menu.show + div#main-body {
        padding-right: 210px;
    }
    .container {
        margin: -50px auto 0 auto;
    }
}

/* Media query para desktops pequeños */
/* @media only screen and (min-width: 992px) and (max-width: 1199px) backup */
@media only screen and (min-width: 992px) {
    /* Estilos específicos para desktops pequeños */
    body > header {
        padding: 0 20px;
    }
    .container {
        margin: -60px auto 0 auto;
    }
    .container {
        padding: 0 30px 20px 30px;
    }
}

/* Media query para desktops grandes */
@media only screen and (min-width: 1200px) {
    /* Estilos específicos para desktops grandes */
}