Assign fixed width to error banners

This makes the banners easier to center horizontally.
This commit is contained in:
William Carroll 2020-08-02 10:33:42 +01:00
parent 249e3113ff
commit ac9629cad0

View file

@ -40,7 +40,8 @@ errorBanner { title, body } =
-- TODO(wpcarro): Consider supporting breakpoints, but for now
-- don't.
, style "margin-left" "-512px"
, style "width" "800px"
, style "margin-left" "-400px"
]
[ div
[ [ "bg-red-500"