Grammalecte  Check-in [e0d4159247]

Overview
Comment:[fx] CSS adjustments for lexicographer
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | fx | webext2
Files: files | file ages | folders
SHA3-256: e0d4159247940aabc7fa607453b7797a5e10d5fcd4f0be413db79554d5351e9a
User & Date: olr on 2017-08-15 06:51:52
Original Comment: [fx] rename modify_page.js -> content_modifier.js
Other Links: branch diff | manifest | tags
Context
2017-08-15
07:55
[fx] boolean to indicate if worker response is the last + adjustements for the lexicographer check-in: f83da6328b user: olr tags: fx, webext2
06:51
[fx] CSS adjustments for lexicographer check-in: e0d4159247 user: olr tags: fx, webext2
06:38
[fx] rename modify_page.js -> content_modifier.js check-in: 4ac6861246 user: olr tags: fx, webext2
Changes

Modified gc_lang/fr/webext/content_scripts/content_panels.css from [a6727e0b7f] to [dd09f87a9e].

107
108
109
110
111
112
113
114
115

116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
    Lexicographer
*/
#grammalecte_lxg_panel_content {
    padding: 10px;
}

.grammalecte_lxg_list_of_tokens {
    background-color: hsla(0, 0%, 90%, 1);
    padding: 10px;

    border-radius: 2px;
    margin: 10px 5px;
}

.grammalecte_token p {
    margin: 8px;
}
.grammalecte_token p.separator {
    margin: 20px 0;
    padding: 5px 5px;
    background-color: hsla(0, 0%, 75%, 1);
    color: hsla(0, 0%, 96%, 1);
    border-radius: 5px;
    text-align: center;
    font-size: 20px;







|

>

<


|


|







107
108
109
110
111
112
113
114
115
116
117

118
119
120
121
122
123
124
125
126
127
128
129
130
    Lexicographer
*/
#grammalecte_lxg_panel_content {
    padding: 10px;
}

.grammalecte_lxg_list_of_tokens {
    margin: 10px 5px;
    padding: 10px;
    background-color: hsla(0, 0%, 90%, 1);
    border-radius: 2px;

}

.grammalecte_token div {
    margin: 8px;
}
.grammalecte_token div.separator {
    margin: 20px 0;
    padding: 5px 5px;
    background-color: hsla(0, 0%, 75%, 1);
    color: hsla(0, 0%, 96%, 1);
    border-radius: 5px;
    text-align: center;
    font-size: 20px;