docs/user: Upgrade to Doxygen 1.8.13.

Also tweak the footer CSS a bit, and fix an unclosed comment in the fs_interface docs (spotted via a warning in Doxygen output.)
2017-10-01 11:19:37 -04:00
parent a8c92cc0aa
commit 9d5b0fdaa1
3 changed files with 10 additions and 2 deletions
@@ -367,6 +367,9 @@ div.contents, footer {
 	min-width: 59em;
 	max-width: 70em;
 }
+footer {
+	font-size: 90%;
+}

 div.contents ul, div.contents ol {
 	line-height: 1.3;