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

1 files changed, 12 insertions, 1 deletions

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;
 }