Typographical adjustments

- Don't show underline of links by default, but on :hover, :focus
- Add “Syntax” to syntax snippets
- Remove superfluous bullet points from the TOC
- Increase margin-top of h1

2 files changed, 15 insertions, 4 deletions

diff --git a/resources/blueprint-screen.css b/resources/blueprint-screen.css
index a34d48e39a..2e3600079f 100644
--- a/resources/blueprint-screen.css
+++ b/resources/blueprint-screen.css
@@ -28,7 +28,7 @@ a img {border:none;}
 html {font-size:100.01%;}
 body {color:#222;background:#fff;font-family:Heuristica,Georgia,serif;}
 h1, h2, h3, h4, h5, h6 {font-weight:normal;color:#111;}
-h1 {font-size:3em;line-height:1;margin-bottom:0.5em;}
+h1 {font-size:3em;line-height:1;margin-top:1em;margin-bottom:0.5em;}
 h2 {font-size:2em;margin-bottom:0.75em;}
 h3 {font-size:1.5em;line-height:1;margin-bottom:1em;}
 h4 {font-size:1.2em;line-height:1.25;margin-bottom:1.25em;}
@@ -40,8 +40,8 @@ p {margin:0 0 0.5em;}
 p .left {margin:0.5em 0.5em 0.5em 0;padding:0;}
 .right {float:right !important;}
 p .right {margin:0.5em 0 0.5em 0.5em;padding:0;}
-a:focus, a:hover {color:#09f;}
-a {color:#06c;text-decoration:underline;}
+a:focus, a:hover {color:#09f;text-decoration:underline;}
+a {color:#06c;text-decoration:none;}
 blockquote {margin:1.5em;color:#666;font-style:italic;}
 strong, dfn {font-weight:bold;}
 em, dfn {font-style:italic;}
diff --git a/resources/style.css b/resources/style.css
index ab4ca9d45b..17d13741a7 100644
--- a/resources/style.css
+++ b/resources/style.css
@@ -6,6 +6,10 @@ header .date {
 	text-align: center;
 }
 
+nav ul {
+	list-style-type: none;
+}
+
 .container > h1 a, 
 .container > h2 a, 
 .container > h3 a, 
@@ -37,6 +41,13 @@ pre.math {
 	border: 0;
 }
 
+pre[class="grammar"]:before {
+	content: "Syntax\A";
+	font-family: Heuristica;
+	font-size:110%;
+	font-weight:bold;
+}
+
 code > span {
 	font-weight: normal !important;
 }
@@ -61,7 +72,7 @@ ol[type="1"] > li {
 }
 
 ol[type="1"] > li:before {
-	content: "Example ";
+	content: "Example";
 	font-weight:bold;
 }