diff options
| -rw-r--r-- | stylelint.config.js | 2 | ||||
| -rw-r--r-- | web_src/css/modules/grid.css | 5 |
2 files changed, 2 insertions, 5 deletions
diff --git a/stylelint.config.js b/stylelint.config.js index 523b18841e..2843a449c0 100644 --- a/stylelint.config.js +++ b/stylelint.config.js @@ -141,7 +141,7 @@ export default { 'custom-property-pattern': null, 'declaration-block-no-duplicate-custom-properties': true, 'declaration-block-no-duplicate-properties': [true, {ignore: ['consecutive-duplicates-with-different-values']}], - 'declaration-block-no-redundant-longhand-properties': null, + 'declaration-block-no-redundant-longhand-properties': [true, {ignoreShorthands: ['flex-flow', 'overflow']}], 'declaration-block-no-shorthand-property-overrides': null, 'declaration-block-single-line-max-declarations': null, 'declaration-empty-line-before': null, diff --git a/web_src/css/modules/grid.css b/web_src/css/modules/grid.css index 4aaa452372..a2c558047d 100644 --- a/web_src/css/modules/grid.css +++ b/web_src/css/modules/grid.css @@ -7,10 +7,7 @@ flex-wrap: wrap; align-items: stretch; padding: 0; - margin-top: -1rem; - margin-bottom: -1rem; - margin-left: -1rem; - margin-right: -1rem; + margin: -1rem; } .ui.relaxed.grid { |