Grammalecte  Diff

Differences From Artifact [5d2b5548af]:

To Artifact [e691764c17]:


66
67
68
69
70
71
72
73
74
75
76
77
78
79
80

/* Main classes */

html {
    box-sizing: border-box;
    width: 400px;
    height: 500px;
    font-family: "Trebuchet MS", "Liberation Sans", sans-serif;
}
body {
    width: 400px;
    height: 500px;
}
/* 
    Maximal height of a panel in WebExtention seems to be 500px.







|







66
67
68
69
70
71
72
73
74
75
76
77
78
79
80

/* Main classes */

html {
    box-sizing: border-box;
    width: 400px;
    height: 500px;
    font-family: "Trebuchet MS", "Fira Sans", "Liberation Sans", sans-serif;
}
body {
    width: 400px;
    height: 500px;
}
/* 
    Maximal height of a panel in WebExtention seems to be 500px.
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
    background-color: hsl(210, 20%, 95%);
    border-radius: 3px;
}
.opt_subsection h2 {
    color: hsl(210, 30%, 50%);
    margin-bottom: 3px;
    font-size: 16px;
    font-family: "Trebuchet MS", sans-serif;
}
.opt_subsection p {
    padding: 2px 3px;
    display: flex;
    align-items: center;
}
.opt_subsection p:hover {







|







185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
    background-color: hsl(210, 20%, 95%);
    border-radius: 3px;
}
.opt_subsection h2 {
    color: hsl(210, 30%, 50%);
    margin-bottom: 3px;
    font-size: 16px;
    font-family: "Trebuchet MS", "Fira Sans", "Liberation Sans", sans-serif;
}
.opt_subsection p {
    padding: 2px 3px;
    display: flex;
    align-items: center;
}
.opt_subsection p:hover {