Improve style of offline html build of website.

CHANGELOG

@@ -4,6 +4,7 @@ git-annex (6.20161013) UNRELEASED; urgency=medium
     when the keys database was not populated.
   * upgrade: Handle upgrade to v6 when the repository already contains
     v6 unlocked files whose content is already present.
+  * Improve style of offline html build of website.
 
  -- Joey Hess <id@joeyh.name>  Mon, 17 Oct 2016 12:46:54 -0400
 

Makefile

@@ -88,9 +88,10 @@ docs: mans
 	LC_ALL=C TZ=UTC $(IKIWIKI) doc html -v --wikiname git-annex \
 		--plugin=goodstuff \
 		--no-usedirs --disable-plugin=openid --plugin=sidebar \
-		--underlaydir=/dev/null --set deterministic=1 \
+		--plugin theme --set theme=actiontabs --set deterministic=1 \
 		--disable-plugin=shortcut --disable-plugin=smiley \
 		--plugin=comments --set comments_pagespec="*" \
+		--exclude='ikiwiki/*' \
 		--exclude='news/.*' --exclude='design/assistant/blog/*' \
 		--exclude='bugs/*' --exclude='todo/*' --exclude='forum/*' \
 		--exclude='users/*' --exclude='devblog/*' --exclude='thanks'

doc/bugs/Installing_from_git___58___local_doc_lacks_style.css.mdwn

@@ -31,3 +31,6 @@ Doc also refers to local.css which is only comments on branchable.com anyway.
 ### Have you had any luck using git-annex before? (Sometimes we get tired of reading bug reports all day and a lil' positive end note does wonders)
 
 Been trying shortly git-annex a few times.  Considering to put some important stuff inside now (1Tb photos/videos). I love git-annex concept and believes that you Joey have the eye for details that make rock-solid software possible (I do that for a living). I've been using Unison for about 15 years. Unison is nice enough for *sync* if storage devices are mounted always on same machine in same directory.  For source code *history*, I've been relying on git with great satisfaction (and seen quite a few git repos wrecked by a missing or corrupted file in .git, good job remote repos come to the rescue).  Since git allows to change remote URLs at any time and just work, I believe git-annex will bring the best of both worlds.  Also I love your style: everything not essential is just not added, preserving efficiency. Best way for a solid system is adding only what's necessary.
+
+> Ok, I've added the ikiwiki underlay to get the style sheets.
+> [[done]] --[[Joey]]