diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-09-26 11:08:16 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-26 11:08:16 -0400 |
commit | 9899727d7d53caed4c5b5e68176f7ed7f90a9438 (patch) | |
tree | 3d764007cf8e86cee23be969a2065a644b27f73d /ext/css | |
parent | 88e71f82232781a1bc16701ce4719d770222ec4c (diff) |
Frequency dictionary sort (#1938)
* Add sortDictionary/sortDictionaryOrder options
* Update options
* Add API.getTermFrequencies
* Add settings
* Implement frequency dictionary sorting
* Update test
* Update test data
* Fix handling of undefined rank-based frequencies
Diffstat (limited to 'ext/css')
-rw-r--r-- | ext/css/settings.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/css/settings.css b/ext/css/settings.css index f05ab5e0..cedd9f40 100644 --- a/ext/css/settings.css +++ b/ext/css/settings.css @@ -2259,10 +2259,14 @@ input[type=number].dictionary-priority { } .horizontal-flex.horizontal-flex-nowrap { flex-wrap: nowrap; + margin-left: 0; } .horizontal-flex>* { margin-left: 0.375em; } +.horizontal-flex.horizontal-flex-nowrap>*:first-child { + margin-left: 0; +} .horizontal-flex-fill { flex-grow: 1; } |