navbar tweaks

nicolaskruchten · nicolaskruchten · commit a5212e7d086f · 2020-07-20T11:20:26.000-04:00
diff --git a/doc/apidoc/_static/plotly-style.css b/doc/apidoc/_static/plotly-style.css
@@ -2,13 +2,18 @@
   background-color: #fff;
 }
 .navbar {
-  min-height: 75px;
+  border-bottom: 1px solid #e7e7e7;
 }
 .navbar-brand {
   font-family: "Open Sans", sans-serif;
   padding: 10px 10px;
 }
 
+.navbar-nav > li > a {
+  padding-top: 10px;
+  padding-bottom: 0;
+}
+
 .body {
   font-family: "Open Sans", sans-serif;
 }

Original file line number	Diff line number	Diff line change
`@@ -2,13 +2,18 @@`
`2`	`2`	`background-color: #fff;`
`3`	`3`	`}`
`4`	`4`	`.navbar {`
`5`		`- min-height: 75px;`
	`5`	`+ border-bottom: 1px solid #e7e7e7;`
`6`	`6`	`}`
`7`	`7`	`.navbar-brand {`
`8`	`8`	`font-family: "Open Sans", sans-serif;`
`9`	`9`	`padding: 10px 10px;`
`10`	`10`	`}`
`11`	`11`
	`12`	`+.navbar-nav > li > a {`
	`13`	`+ padding-top: 10px;`
	`14`	`+ padding-bottom: 0;`
	`15`	`+}`
	`16`	`+`
`12`	`17`	`.body {`
`13`	`18`	`font-family: "Open Sans", sans-serif;`
`14`	`19`	`}`