Update page style

1 files changed, 85 insertions, 58 deletions

diff --git a/themes/lv2/static/css/main.css b/themes/lv2/static/css/main.css
index 4462303..29f867d 100644
--- a/themes/lv2/static/css/main.css
+++ b/themes/lv2/static/css/main.css
@@ -1,76 +1,108 @@
-/* Page Style */
+/* Generic page style */
 
 body {
-	background: #FFF;
-	color: #222;
-	font-style: normal;
-	line-height: 1.6em;
-	margin-left: auto;
-	margin-right: auto;
-	padding: 0 1em 0 1em;
-	max-width: 60em;
-	font-family: "DejaVu Serif",Palatino,serif;
-	text-rendering: optimizeLegibility;
-}
-
-a:link {
-	text-decoration: none;
+  background: #FFF;
+  color: #222;
+  font-style: normal;
+  line-height: 1.6em;
+  margin-left: auto;
+  margin-right: auto;
+  padding: 1em;
+  max-width: 60em;
+  font-family: "SF Pro Text", Verdana, "DejaVu Sans", sans-serif;
+  text-rendering: optimizeLegibility;
+}
+
+h1 {
+  font-size: 1.68em;
+  font-weight: 500;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  line-height: 2em;
+  margin: 0 0 0.25em 0;
 }
 
-a:visited {
-	text-decoration: none;
+h2 {
+  line-height: 1.68em;
+  font-size: 1.41em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
+}
+
+h3 {
+  line-height: 1.41em;
+  font-size: 1.18em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
+}
+
+h4 {
+  line-height: 1.18em;
+  font-size: 1em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
+}
+
+h5, h6 {
+  font-size: 0.7em;
+  font-weight: 600;
+  font-family: Helvetica, Arial, "DejaVu Sans Condensed", Verdana, sans-serif;
+  margin: 1.25em 0 0.5em 0;
 }
 
-a:link {
-	color: #546E00;
+a {
+  color: #546E00;
+  text-decoration: none;
 }
 
-a:visited {
-	color: #344E00;
+h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
+  color: #444;
 }
 
 a:hover {
-	text-decoration: underline;
+  text-decoration: underline;
 }
 
-.biglink {
-	font-size: large;
-	font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+h1 a:link, h2 a:link, h3 a:link, h4 a:link, h5 a:link, h6 a:link {
+  color: #444;
 }
 
-.siglink {
-	font-style: italic;
-    font-size: x-small;
+h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited {
+  color: #444;
 }
 
-img {
-	border: 0;
+p {
+  margin: 0.5em 0 0.5em 0;
 }
 
-h1, h2, h3, h4, h5, h6 {
-	line-height: 1.0125em;
-	color: #444;
-	font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
-	margin: 1em 0 0.5em 0;
-	font-weight: 400;
+dt {
+  font-weight: 600;
 }
 
-h2 {
-	font-size: 160%;
+dd {
+  margin-left: 2em;
 }
 
-h3 {
-	font-size: 140%;
+caption {
+  font-weight: 700;
 }
 
-h4 {
-	font-size: 120%;
-	font-weight: 500;
+/* LV2 site specific things */
+
+.biglink {
+	font-size: large;
+	font-family: "SF Pro Text", Verdana, "DejaVu Sans", sans-serif;
 }
 
-h5, h6 {
-	font-size: 110%;
-	font-weight: 600;
+.siglink {
+	font-style: italic;
+    font-size: x-small;
+}
+
+img {
+	border: 0;
 }
 
 table {
@@ -133,7 +165,7 @@ div.article h2 {
 hr {
 	height: 0;
 	border: none;
-	border-top: 1px solid #DDD;
+	border-top: 1px solid #EEE;
 	margin: 2em 0;
 }
 
@@ -141,16 +173,12 @@ ul, ol {
 	padding: .25em 0em 0 3em;
 }
 
-li {
-	list-style-type: circle;
-}
-
 strong {
 	font-weight: bold;
 }
 
 tt, pre {
-	font-family: "DejaVu Sans Mono",monospace,fixed;
+	font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
 	line-height: 1.2em;
 }
 
@@ -163,10 +191,9 @@ pre {
 }
 
 nav {
-	border-bottom: 1px solid #DDD;
-	padding: 0.75em 0;
-	vertical-align: baseline;
-	font-size: small;
+	border-bottom: 1px solid #EEE;
+	padding: 0.25em 0;
+    margin-bottom: 1.5em;
 }
 
 nav a, nav a:link, nav a:visited {
@@ -176,7 +203,7 @@ nav a, nav a:link, nav a:visited {
 nav ul {
 	margin: 0;
 	padding: 0;
-	font-family: "DejaVu Sans",Helvetica,Arial,sans-serif;
+	font-family: "SF Pro Text", Verdana, "DejaVu Sans", sans-serif;
 }
 
 nav li {
@@ -197,7 +224,7 @@ header a#page-title {
 }
 
 .highlight {
-	font-family: "DejaVu Sans Mono",monospace,fixed;
+	font-family: "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace, fixed;
 	border: solid 1px #eee;
 	color: #444;
 	border-radius: 6px;