c8h4/aux-search
1
0
Fork 0
Code Issues Pull requests Packages Releases Activity

Make sure that we dont trap users on search.nixos.org (#87)

Browse source 
and that there is a nice way back to main website
also the navigation is now the same hight as on nixos.org

fixes #59
This commit is contained in:
Rok Garbas 2020-06-11 09:14:21 +02:00 committed by GitHub
parent 7f2ed39fef
commit 007eee127e
Failed to generate hash of commit
2 changed files with 21 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
src/Main.elm
View file

@ -238,10 +238,13 @@ view model =
[ div [ class "navbar navbar-static-top" ]
[ div [ class "navbar-inner" ]
[ div [ class "container" ]
[ a [ class "brand", href "https://search.nixos.org" ]
[ a [ class "brand", href "https://nixos.org" ]
[ img [ src "https://nixos.org/logo/nix-wiki.png", class "logo" ] []
]
, viewNavigation model.page model.url
, div [ class "nav-collapse collapse" ]
[ ul [ class "nav pull-left" ]
(viewNavigation model.page model.url)
]
]
]
]
@ -263,7 +266,7 @@ view model =
]
viewNavigation : Page -> Url.Url -> Html Msg
viewNavigation : Page -> Url.Url -> List (Html Msg)
viewNavigation page url =
let
preserveSearchOptions =
@ -288,13 +291,12 @@ viewNavigation page url =
|> List.append preserveSearchOptions
|> Url.Builder.absolute [ path ]
in
ul [ class "nav" ]
(List.map
(viewNavigationItem url)
[ ( createUrl "packages", "Packages" )
, ( createUrl "options", "Options" )
]
)
List.map
(viewNavigationItem url)
[ ( "https://nixos.org", "Back to nixos.org" )
, ( createUrl "packages", "Packages" )
, ( createUrl "options", "Options" )
]
viewNavigationItem :

16
src/index.scss
View file

@ -14,16 +14,18 @@ footer {
height: 4rem;
}
header .navbar {
a.brand {
line-height: 1.5em;
header .navbar.navbar-static-top {
.brand {
padding-bottom: 0;
}
img.logo {
height: 1.5em;
margin-right: 0.5em;
margin-top: -5px;
padding-right: 5px;
line-height: 25px;
height: 25px;
}
ul.nav > li > a {
line-height: 2.5em;
ul.nav > li {
line-height: 20px;
}
}