diff --git a/doc/footer.html b/doc/footer.html index a938c96..0abdd10 100644 --- a/doc/footer.html +++ b/doc/footer.html @@ -1,5 +1,7 @@ diff --git a/doc/header.html b/doc/header.html index 424ee5c..952c1a6 100644 --- a/doc/header.html +++ b/doc/header.html @@ -14,7 +14,8 @@

synctool documentation


-synctool by Walter de Jong <walter@heiho.net> (c) 2003-2011
+synctool by Walter de Jong <walter@heiho.net> (c) 2003-2011 +

synctool comes with no warranty. synctool is free software.
@@ -26,4 +27,3 @@

synctool documentation

- diff --git a/doc/synctool_doc.css b/doc/synctool_doc.css index 3088f05..389eac1 100644 --- a/doc/synctool_doc.css +++ b/doc/synctool_doc.css @@ -135,7 +135,11 @@ div#footer { position: absolute; width: 100%; bottom: 0; /* stick to bottom */ - border-top: dashed 3px #eee; + padding: 0em 0em .5em; + + font-family: georgia, times, serif; + font-style: italic; + font-size: .8em; } .example { diff --git a/doc/toc.m4 b/doc/toc.m4 index e383669..6146088 100644 --- a/doc/toc.m4 +++ b/doc/toc.m4 @@ -9,6 +9,4 @@ View documentation as a single page document.

- - include(`footer.html')