From ef7f2739d42e4265949402d907f6521206ce0d7b Mon Sep 17 00:00:00 2001
From: Thomas Karpiniec <tk@1.21jiggawatts.net>
Date: Sat, 23 Jan 2016 08:51:39 +1100
Subject: [PATCH] Tweak subsection style and page titles

---
 render.php                        | 1 +
 resources/common/manual-style.css | 8 ++++++++
 2 files changed, 9 insertions(+)

diff --git a/render.php b/render.php
index d29b0a8..a7a9d3b 100644
--- a/render.php
+++ b/render.php
@@ -126,6 +126,7 @@ function render_with_config_path($config_file) {
 		$substitutions["{NEXT_TITLE}"] = "";
 		$substitutions["{TOC_URL}"] = "index.html";
 		$substitutions["{TOC_TITLE}"] = "Contents";
+		$substitutions["{PAGE_TITLE}"] = $page["title"];
 		
 		if (isset($config["pages"][$i-1])) {
 			$prev_page = $config["pages"][$i-1];
diff --git a/resources/common/manual-style.css b/resources/common/manual-style.css
index 9f4c7ea..993fa9a 100644
--- a/resources/common/manual-style.css
+++ b/resources/common/manual-style.css
@@ -28,6 +28,10 @@ h2 {
     font-weight: normal;
 }
 
+h3 {
+	font-weight: normal;
+}
+
 div.heading {
     text-align: center;
 }
@@ -101,3 +105,7 @@ hr {
 .spacer {
 	height: 1em;
 }
+
+dt {
+	font-weight: bold;
+}