Grammalecte  Diff

Differences From Artifact [dd09f87a9e]:

To Artifact [8844c08781]:


94
95
96
97
98
99
100
101

102
103
104
105
106
107
108
109
110


111
112
113
114

115
116

117
118
119
120
121


122
123

124
125
126
127
128
129
130
131
132
133
134
135
136

137
138
139
140
141
142
143
94
95
96
97
98
99
100

101
102
103
104
105
106
107
108
109

110
111
112
113
114

115
116

117
118
119
120


121
122
123

124
125
126
127
128
129
130
131
132



133

134
135
136
137
138
139
140
141







-
+








-
+
+



-
+

-
+



-
-
+
+

-
+








-
-
-

-
+







    cursor: pointer;
}
.grammalecte_close_button:hover {
    background-color: hsl(0, 100%, 60%);
}

.grammalecte_panel_content {
    height: calc(100% - 45px); /* panel height - title_bar */
    height: calc(100% - 60px); /* panel height - title_bar */
    overflow: auto;
}


/*
    Lexicographer
*/
#grammalecte_lxg_panel_content {
    padding: 10px;
    padding: 5px;
    font-size: 13px;
}

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

.grammalecte_token div {
    margin: 8px;
.grammalecte_token  {
    padding: 4px 0;
}
.grammalecte_token div.separator {
.grammalecte_token .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;
}
.grammalecte_token .token {
    margin: 8px;
}
.grammalecte_token ul {
    margin: 0 0 5px 40px;
    margin: 0 0 5px 5px;
}
.grammalecte_token b {
    background-color: hsla(150, 10%, 50%, 1);
    color: hsla(0, 0%, 96%, 1);
    padding: 2px 5px;
    border-radius: 2px;
    text-decoration: none;