Grammalecte  Diff

Differences From Artifact [182d8e0b86]:

To Artifact [66079c1d8f]:


120
121
122
123
124
125

126
127
128
129
130
120
121
122
123
124

125
126
127
128
129
130





-
+





    height: 500px;
    overflow: auto;
}
#page h1 {
    margin: 0 0 10px 0;
    color: hsl(210, 70%, 70%);
    color: hsl(210, 50%, 50%);
    font: bold 30px 'Yanone Kaffeesatz', "Liberation Sans Narrow", sans-serif;
}


/*
155
156
157
158
159



160

161




162




163
164
165
166
167
155
156
157
158
159
160
161
162

163
164
165
166
167
168

169
170
171
172
173
174
175
176
177





+
+
+
-
+

+
+
+
+
-
+
+
+
+





    Help
*/
#help_page {
    display: none;
    padding: 20px;
}
#help_page h2 {
    font-size: 20px;
    background-color: hsl(0, 50%, 90%);
    color: hsl(210, 50%, 50%);
}
#help_page .shortcut {
    margin-top: 10px;
    font-weight: bold;
    font-size: 13px;

}
#help_page .shortcut_label {
    margin-left: 30px;
}

/*
    Grammar checking options
*/
#gc_options_page {