equal
deleted
inserted
replaced
178 font-size: .95em; |
178 font-size: .95em; |
179 } |
179 } |
180 .freq { |
180 .freq { |
181 color: red; |
181 color: red; |
182 font-weight: bold; |
182 font-weight: bold; |
|
183 font-size: small; |
183 } |
184 } |
184 .del { |
185 .del { |
185 color: red; |
186 color: red; |
186 font-weight: bold; |
187 font-weight: bold; |
187 } |
188 } |
307 builder.add_note("singular", identity, warnmsg, warnmsg+" singular", "del") |
308 builder.add_note("singular", identity, warnmsg, warnmsg+" singular", "del") |
308 builder.add_note("plural", identity, warnmsg, warnmsg+" plural", "del") |
309 builder.add_note("plural", identity, warnmsg, warnmsg+" plural", "del") |
309 |
310 |
310 for (headwords, translations) in DOM[1:]: |
311 for (headwords, translations) in DOM[1:]: |
311 identity = headwords[0].headword |
312 identity = headwords[0].headword |
312 if 'rare' in identity.attrs: |
313 if 'rare' in headwords[0].attrs: |
313 continue |
314 continue |
314 freqtags = [] |
315 freqtags = [] |
315 for (freqtag, freqset) in FREQ_SOURCES: |
316 for (freqtag, freqset) in FREQ_SOURCES: |
316 if identity in freqset: |
317 if identity in freqset: |
317 freqtags.append(freqtag) |
318 freqtags.append(freqtag) |