From 8da0ce2e0039e297fac389a3d49900263aae3416 Mon Sep 17 00:00:00 2001 From: Daniel Schmidt Date: Sun, 7 Apr 2024 13:13:36 +0200 Subject: [PATCH] fix: remove unneded margin --- frontend/src/js/ui/views/workshop/repo.ts | 1 - 1 file changed, 1 deletion(-) diff --git a/frontend/src/js/ui/views/workshop/repo.ts b/frontend/src/js/ui/views/workshop/repo.ts index 787456d..fb68ce2 100644 --- a/frontend/src/js/ui/views/workshop/repo.ts +++ b/frontend/src/js/ui/views/workshop/repo.ts @@ -258,7 +258,6 @@ export default (): m.Component => { m(Flex, { items: 'center', justify: 'between', gap: 2, className: '.br2.ba.b--black-10.ph3.bg-white.h3.flex-shrink-0' }, [ m( 'div.flex-grow-1', - { style: { marginTop: '5px' } }, m(Input, { placeholder: 'Search...', icon: 'search',