Commits: 2

Change the port number of ELm Live ran by the develop script to 8001

So we can run Elm reactor on standard port 8000 at the same time.

index bf51dda..987f698 100755
--- a/scripts/develop
+++ b/scripts/develop
@@ -9,4 +9,4 @@ do
=  npx elm make --output "public/${example}.html" "${example}"
=done
=
-npx elm-live src/Main.elm --pushstate -- --debug
+npx elm-live src/Main.elm --pushstate --port 8001 -- --debug

Make the text column wider by removing the horizontal padding

Also remove the Element.width attribute, which seems to take no effect (why?).

Also remove unused import of Element.Default from Main.

index 2e7510a..e6a9f4f 100644
--- a/src/Main.elm
+++ b/src/Main.elm
@@ -41,7 +41,6 @@ import Html.Attributes
=import Http
=import Mark
=import Mark.Custom
-import Mark.Default
=import Parser
=import Parser.Advanced
=import Result.Extra as Result
@@ -408,9 +407,8 @@ document =
=                |> List.map (\child -> child model)
=                |> Element.textColumn
=                    [ Element.centerX
-                    , Element.width (Element.maximum 800 Element.fill)
=                    , Element.spacing 20
-                    , Element.padding 80
+                    , Element.paddingXY 0 80
=                    ]
=                |> View title
=