* map: Render pages on the way to subpages whose parent pages

  are not included in the map. Include special styling for such pages.
* map: Remove common prefixes and don't over-indent.
* Add class option to htmllink().

1 files changed, 4 insertions, 0 deletions

diff --git a/doc/style.css b/doc/style.css
index 0399031f8..0fa15d2b1 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -49,6 +49,10 @@ div.tags {
 	margin-top: 1em;
 }
 
+.mapparent {
+	text-decoration: none;
+}
+
 #backlinks {
 	margin-top: 1em;
 }