Make the header bar the same size as the main racket page
This commit is contained in:
parent
eec19b6d93
commit
f2f89271c5
2
TODO.md
2
TODO.md
|
@ -22,5 +22,3 @@ the build status "problems" button should be a link to the build status
|
||||||
## Design possibilities
|
## Design possibilities
|
||||||
|
|
||||||
"the big gray box should probably not go all the way to the top of the page"
|
"the big gray box should probably not go all the way to the top of the page"
|
||||||
|
|
||||||
Make the header bar the same size as the main racket page
|
|
||||||
|
|
|
@ -22,7 +22,7 @@
|
||||||
(bootstrap-navbar-header
|
(bootstrap-navbar-header
|
||||||
`(a ((href "http://www.racket-lang.org/"))
|
`(a ((href "http://www.racket-lang.org/"))
|
||||||
(img ((src "/logo-and-text.png")
|
(img ((src "/logo-and-text.png")
|
||||||
(height "50")
|
(height "60")
|
||||||
(alt "Racket Package Index")))))
|
(alt "Racket Package Index")))))
|
||||||
|
|
||||||
(bootstrap-navigation `((,nav-index "/")
|
(bootstrap-navigation `((,nav-index "/")
|
||||||
|
|
|
@ -13,6 +13,20 @@ body {
|
||||||
|
|
||||||
.navbar { background: black; }
|
.navbar { background: black; }
|
||||||
|
|
||||||
|
/*---------------------------------------------------------------------------*/
|
||||||
|
/* Make the navbar the same height as the main racket page's navbar */
|
||||||
|
.navbar-brand,
|
||||||
|
.navbar-nav > li > a {
|
||||||
|
line-height: 60px;
|
||||||
|
height: 60px;
|
||||||
|
padding-top: 0;
|
||||||
|
}
|
||||||
|
.navbar-btn {
|
||||||
|
margin-top: 13px;
|
||||||
|
margin-bottom: 13px;
|
||||||
|
}
|
||||||
|
/*---------------------------------------------------------------------------*/
|
||||||
|
|
||||||
.build_green { background-color: #ccffcc; }
|
.build_green { background-color: #ccffcc; }
|
||||||
.build_yellow { background-color: #ffffcc; }
|
.build_yellow { background-color: #ffffcc; }
|
||||||
.build_red { background-color: #ffcccc; }
|
.build_red { background-color: #ffcccc; }
|
||||||
|
|
Loading…
Reference in New Issue
Block a user