Grammalecte  Diff

Differences From Artifact [20920fbe90]:

To Artifact [27a355fd67]:


142
143
144
145
146
147
148
149
150
151
152
153
154

155
156
157
158
159
160
161
162
163
164
165
    font-variant: small-caps;
    cursor: pointer;
    border-radius: 3px;
}
div.grammalecte_menu_button:hover {
    background-color: hsl(210, 80%, 40%);
}
div.grammalecte_autorefresh_button {
    display: inline-block;
    padding: 0 5px;
    margin-left: 5px;
    border-radius: 3px;
    background-color: hsl(0, 50%, 50%);

    color: hsl(0, 50%, 96%);
    opacity: .7;
}
div.grammalecte_autorefresh_button:hover {
    opacity: 1;
}

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







|





>



|







142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
    font-variant: small-caps;
    cursor: pointer;
    border-radius: 3px;
}
div.grammalecte_menu_button:hover {
    background-color: hsl(210, 80%, 40%);
}
div.grammalecte_menu_subbutton {
    display: inline-block;
    padding: 0 5px;
    margin-left: 5px;
    border-radius: 3px;
    background-color: hsl(0, 50%, 50%);
    font-size: 10px;
    color: hsl(0, 50%, 96%);
    opacity: .7;
}
div.grammalecte_menu_subbutton:hover {
    opacity: 1;
}

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