9a7016ad64
- Add/Remove Dictionaries window - Better account for the (unlikely) possibility that a dictionary could be replaced by another more popular dictionary provided by a different extension id (tested) - Better account for the (very unlikely) possibility that an extension could bundle multiple dictionaries (untested) - Use toolkit version comparator for proper extension version comparisons - Localize strings - Add tests for updating
27 lines
No EOL
332 B
SCSS
27 lines
No EOL
332 B
SCSS
#DictionaryManager {
|
|
padding: 15px;
|
|
|
|
richlistitem {
|
|
font-size: 12px;
|
|
}
|
|
|
|
input {
|
|
// Select rows, not checkboxes
|
|
-moz-user-focus: ignore;
|
|
}
|
|
|
|
#status {
|
|
margin: 9px 0 0 5px;
|
|
font-size: 10px;
|
|
line-height: 1em;
|
|
}
|
|
|
|
.dialog-button-box {
|
|
display: flex;
|
|
justify-content: end;
|
|
}
|
|
|
|
button {
|
|
font-size: 13px;
|
|
}
|
|
} |