blob: fd8e6935847685b6312bd6bf3354c4793e27b9e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
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)
]
)
|
