scala
diff --git a/‎doc-tool/resources/css/bootstrap.min.css
Lines changed: 1 addition & 1 deletion b/‎doc-tool/resources/css/bootstrap.min.css
Lines changed: 1 addition & 1 deletion
diff --git a/‎docs/css/frontpage.css
Lines changed: 2 additions & 0 deletions b/‎docs/css/frontpage.css
Lines changed: 2 additions & 0 deletions
@@ -1,3 +1,5 @@
+ @import url('https://fonts.googleapis.com/css?family=Lobster&display=swap');
+ 
 body {
   height: 100%;
   width: 100%;
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+ @import url('https://fonts.googleapis.com/css?family=Lobster&display=swap');`
	`2`	`+`
`1`	`3`	`body {`
`2`	`4`	`height: 100%;`
`3`	`5`	`width: 100%;`