Grammalecte  Diff

Differences From Artifact [5d2b5548af]:

To Artifact [e691764c17]:


66
67
68
69
70
71
72
73

74
75
76
77
78
79
80
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;
    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
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;
    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 {