Grammalecte  Diff

Differences From Artifact [4f0d4490cc]:

To Artifact [5188cbbc0c]:


64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
}


/* Main classes */

html {
    box-sizing: border-box;
    width: 530px;
    height: 500px;
    font-family: "Trebuchet MS", "Liberation Sans", sans-serif;
}
body {
    width: 530px;
    height: 500px;
}
/* 
    Maximal height of a panel in WebExtention seems to be 500px.
    When going over this limit, a scrollbar appears which destructs the
    horizontal balance of elements.
    --> vertical scrolling is done with overflow in #page.







|




|







64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
}


/* 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.
    When going over this limit, a scrollbar appears which destructs the
    horizontal balance of elements.
    --> vertical scrolling is done with overflow in #page.
130
131
132
133
134
135
136



137
138
139
140
141
142
143
144
    margin: 10px 0 5px 0;
}

#home_page {
    display: block;
    padding: 20px;
}




#gc_options_page {
    display: none;
    padding: 20px;
}
#sc_options_page {
    display: none;
    padding: 20px;







>
>
>
|







130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
    margin: 10px 0 5px 0;
}

#home_page {
    display: block;
    padding: 20px;
}
#help_page {
    display: none;
    padding: 20px;
}
#gc_options_page {
    display: none;
    padding: 20px;
}
#sc_options_page {
    display: none;
    padding: 20px;