Indent bullets and reduce vertical whitespace (#32)

* Indent bullets and reduce vertical whitespace

* Reduce margin-bottom more

* Reduce margin-left and simplify nav-bar

Author: odow

Diff for: _config.yml

@@ -115,7 +115,7 @@ navigation_header:
   url: /pages/code/
 - title: Documentation
   url: https://jump.dev/JuMP.jl/stable/
-- title: JuMP-dev Workshops
+- title: Workshops
   items:
    - title: 2020
      url: /meetings/louvain2020

Diff for: assets/styles.scss

@@ -45,6 +45,16 @@ $colour-notification-banner: #ffc107;
     font-size: 100%;
   }
 }
+// Over-ride default indendation.
+:root {
+  p{
+    margin-bottom: 0rem;
+  }
+  ul{
+    margin-bottom: 0rem;
+    margin-left: 1em;
+  }
+}
 
 // Only show logo on tablets and larger.
 .home-page-logo {