diff options
| author | NunoAlexandre <alexandre.nunomiguel@gmail.com> | 2018-03-20 12:30:19 +0100 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-18 08:14:32 -0700 |
| commit | acd40e506c364bee17a95759aaf0dc583bb0d1ea (patch) | |
| tree | 43cd03c00fcfc23ac73dced07505cfa85be143cf /html-test/src/GADTRecords.hs | |
| parent | 09fd5bf0a2e17ed51c7bd570ee01810e10e5543b (diff) | |
Fix responsive triggers overlap issue
The min and max width triggers have the same values,
which caused the style resolution to take an intersection of
both style declarations when the screen resolution had the size
of the limts (say 1280px), causing an odd behaviour and look.
Diffstat (limited to 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions