Grammalecte  Diff

}
div.grammalecte_menu_button:hover {
    background-color: hsl(210, 80%, 40%);
}


div.grammalecte_panel_content {
    /* https://stackoverflow.com/questions/7676022/html5-flexible-box-model-height-calculation/15388247#15388247 */
    position: relative;
    flex-grow: 1;
    overflow: auto;
}

div#grammalecte_panel_message_block {
    display: none;
    padding: 10px;