| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2018-09-27 15:40:30 +0200 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2018-09-27 15:40:30 +0200 |
| commit | 2f22e667fbea56884d74ed27777f2e9f3fc9fd53 (patch) | |
| tree | 75300c58cc7b287993887f84b2d68b9d515a9ec0 /src/View/Header.elm | |
| parent | 486ee1dbe21be962e89f421e1dd5f3cbb2fd2177 (diff) | |
Starting to separate background and popup code.
Diffstat (limited to 'src/View/Header.elm')
| -rw-r--r-- | src/View/Header.elm | 79 |
1 files changed, 0 insertions, 79 deletions
diff --git a/src/View/Header.elm b/src/View/Header.elm deleted file mode 100644 index fd8e693..0000000 --- a/src/View/Header.elm +++ /dev/null @@ -1,79 +0,0 @@ -module View.Header exposing (get_html) - --- Elm ------------------------------------------------------------------------- -import Html -import Html.Attributes - --- Map ------------------------------------------------------------------- -import Struct.Event - --------------------------------------------------------------------------------- --- LOCAL ----------------------------------------------------------------------- --------------------------------------------------------------------------------- -link_html : String -> String -> Bool -> (Html.Html Struct.Event.Type) -link_html src label is_active = - (Html.a - [ - (Html.Attributes.href src) - ] - [ - ( - if (is_active) - then (Html.text label) - else (Html.s [] [(Html.text label)]) - ) - ] - ) - -navigation_html : (Html.Html Struct.Event.Type) -navigation_html = - (Html.nav - [] - [ - (link_html "/about.html" "About" True), - (link_html "/news/" "News" False), - (link_html "/community/" "Community" False), - (link_html "/login/?action=disconnect" "Disconnect" True) - ] - ) - --------------------------------------------------------------------------------- --- EXPORTED -------------------------------------------------------------------- --------------------------------------------------------------------------------- -get_html : (Html.Html Struct.Event.Type) -get_html = - (Html.header - [] - [ - (Html.div - [ - (Html.Attributes.class "main-server-logo") - ] - [ - (Html.a - [ - (Html.Attributes.href "http://127.0.0.1") - ] - [ - (Html.img - [ - (Html.Attributes.src "/asset/svg/to-logo-no-bg.svg") - ] - [ - ] - ) - ] - ) - ] - ), - (Html.div - [ - (Html.Attributes.class "main-server-version") - ] - [ - (Html.text "Latest Dev. Build (Mon, 10 Sep 2018 10:30:17 +0000)") - ] - ), - (navigation_html) - ] - ) |