Use Lobster font for the navbar title

TheElectronWill · TheElectronWill · commit fb8f09b9930b · 2019-09-19T19:07:55.000+02:00
more coherent with the front page
diff --git a/doc-tool/bootstrap-theme/theme.scss b/doc-tool/bootstrap-theme/theme.scss
@@ -4,7 +4,7 @@
 @import "node_modules/bootstrap/scss/mixins";
 
 // Web fonts
-@import url('https://fonts.googleapis.com/css?family=Roboto+Slab:300|Source+Code+Pro:400,600|Source+Sans+Pro:400,600&display=swap');
+@import url('https://fonts.googleapis.com/css?family=Roboto+Slab:300|Source+Code+Pro:400,600|Source+Sans+Pro:400,600|Lobster&display=swap');
 
 // Custom values that override the default variables of Bootstrap
 $colors: (
diff --git a/doc-tool/resources/css/bootstrap.min.css b/doc-tool/resources/css/bootstrap.min.css
diff --git a/doc-tool/resources/css/toolbar.css b/doc-tool/resources/css/toolbar.css
@@ -43,10 +43,12 @@ nav.navbar a {
 }
 .navbar-brand .project-details h1 {
   font-size: 1.1em;
+  font-family: "Lobster", cursive;
 }
 .navbar-brand .project-details h2 {
   font-size: 0.5em;
   color: grey;
+  margin-top: 2px;
 }
 
 #search-api-input {
diff --git a/docs/css/frontpage.css b/docs/css/frontpage.css
@@ -1,5 +1,3 @@
-@import url(https://fonts.googleapis.com/css?family=Lobster);
-
 body {
   height: 100%;
   width: 100%;

Original file line number	Diff line number	Diff line change
`@@ -43,10 +43,12 @@ nav.navbar a {`
`43`	`43`	`}`
`44`	`44`	`.navbar-brand .project-details h1 {`
`45`	`45`	`font-size: 1.1em;`
	`46`	`+ font-family: "Lobster", cursive;`
`46`	`47`	`}`
`47`	`48`	`.navbar-brand .project-details h2 {`
`48`	`49`	`font-size: 0.5em;`
`49`	`50`	`color: grey;`
	`51`	`+ margin-top: 2px;`
`50`	`52`	`}`
`51`	`53`
`52`	`54`	`#search-api-input {`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-@import url(https://fonts.googleapis.com/css?family=Lobster);`
`2`		`-`
`3`	`1`	`body {`
`4`	`2`	`height: 100%;`
`5`	`3`	`width: 100%;`